De Nederlandse industrie heeft in december iets meer geproduceerd dan in dezelfde maand een jaar eerder.