EZB erhöht Leitzins auf 4,0 Prozent