De productie in de Nederlandse industrie is in oktober met meer dan 11 procent gedaald in vergelijking met een jaar eerder.