Deutscher Leitindex DAX stieg erstmals über 13.000-Punkte-Marke