Industriële productie in mei iets lager