EU: Industrial production up in May