EZB hebt Leitzins auf 1,25 Prozent