EZB gibt gemeinsame Devisenmarkintervention bekannt