This apparently been out a while and may have helped underpin EUR/USD on earlier dips.

here’s the story, via Reuters.