Der deutsche Leitindex hat am Mittwoch ein neues Rekordniveau erreicht. Der DAX legte um 0,5 Prozent zu und überschritt mit 25.003,73 Punkten erstmals die Marke von 25.000 Zählern.