EUR/USD is trading a little lower, presently at 1.2975. Sources report that “a semi official name” has been a seller of the pairing this morning.