EUR/GBP recedes from tops near 0.8540