De productie van de Duitse industrie is in december flink gedaald. Dit bleek dinsdag uit cijfers van Destatis, het Duitse bureau voor de statistiek.