GBP at record low vs EUR. Mean reversion play in EUR/GBP?