De productie van de Duitse industrie is in september gestegen. Dit bleek maandag uit cijfers van Destatis, het Duitse bureau voor de statistiek.