That’s the reason for the pop in EUR/USD.

We’re back up at 1.2455 presently.