Industriële productie flink hoger in oktober