EZB erhöht Leitzinsen um 0,25 Prozent