EZB erhöht Leitzins im Euroraum auf 4,25 Prozent