They sold Euros against everything.

EUR/JPY from 131.70 down to 131.25

EUR/GBP from 0.8862 down to 0.8850