EZB lässt Leitzins unverändert bei 2,5%