Thought to have bought around 300-500 mln dollars. Some of those dollars likely destined to be turned into euros in near future. Meanwhile EUR/USD at 1.3005, recovering from brief dip below 1.3000.