Wann hat die Europäische Zentralbank keine Devisenmarktinterventionen gemacht?