EZB erhöht Leitzins auf 4,25 Prozent