Euro-12 industriele productie okt +1,1% (+0,9% jaarbasis)