EU-19: Industrial production rises in May, up 12.4%