EZB erhöht Leitzins auf 1,25 Prozent