EZB lässt Leitzins auf Rekordtief von 0,75 Prozent