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