EZB erhöht Leitzins im Euroraum auf 3,75 Prozent