Wozu braucht die Europäische Zentralbank Devisenmarktinterventionen?