That German name I mentioned buying cable earlier, just before it shot to 1.5391, is said to be buying EUR/GBP in recent trade. The cross is up at .8720 from session low .8715 having started out around .8745 this morning.

Earlier I also heard reports of stops parked just below .8700.