EUR/GBP is trading marginally easier, presently at .8885. Sources report “European corporates” selling. They also say there is talk of sell-stops lying below .8880.