A Quasi Real‐Time Leading Indicator for the EU Industrial Production. (21st October 2018)