EU: Industrial production down in Dec. 2018