Nederlandse industriebedrijven produceerden in mei in doorsnee 9,2 procent minder dan een jaar eerder.