Duitse industriële productie weer gegroeid

 De productie van de Duitse industrie is in juli weer gegroeid, na een krimp in juni. Dit bleek maandag uit cijfers van Destatis, het Duitse bureau voor de statistiek.