Big improvement on Oct’s -0.9% m/m, but market generally ignoring the data with EUR/USD stuck around 1.2714