1,25 Milliarden Euro sind es bei TUI, nicht 25, wie in der Folge gesagt.