De Duitse economie is in 2023 licht gekrompen, na groei in de twee voorgaande jaren. Dit bleek maandag uit cijfers van het Duitse statistiekbureau Destatis.