EZB hält Leitzins im Euro-Raum bei 1,25 Prozent