EZB senkt Leitzins im Euroraum auf Rekordtief von 0,25 Prozent