EZB erhöht den Leitzins auf vier Prozent