Der Dax hat erstmals die 25.000-Punkte-Marke übersprungen. Der deutsche Leitindex stieg am Mittwoch in der Spitze um 0,5 Prozent auf einen Rekordstand von 25.015 Zählern.