Er steigt um 0,3 Prozent auf 11.538,27 Punkte und markiert damit zum neunten Mal in zwölf Handelstagenein Rekordhoch.