De Duitse economie is in het tweede kwartaal gegroeid. Dit bleek dinsdag ook uit de definitieve cijfers van het Duitse statistiekbureau Destatis.