De economie van Duitsland is in het tweede kwartaal van dit jaar licht gekrompen. Dit bleek dinsdagochtend uit definitieve cijfers van het Duitse statistiekbureau Destatis.