Nachdem die Papiere des Börsenbetreibers erst am Vortag mit 140,10 Euro ein weiteres Rekordhoch erreicht hatten, rutschten sie nun mit einem Minus von zuletzt noch 0,39 Prozent auf 138,70 Euro weit ans Ende im DAX.