Die EZB hat den Leitzins gesenkt.