De Duitse economie is in het tweede kwartaal van dit jaar gekrompen, de eerste teruggang voor de grootste economie van Europa sinds 2012.