EZB setzt Leitzins auf 4,25 Prozent