De productie van de Duitse industrie is in juni iets sterker dan verwacht gestegen. Dit bleek vrijdag uit cijfers van Destatis, het Duitse bureau voor de statistiek.