Wie lange bleibt Michael Frenzel an der Tui-Spitze? Medienberichten zufolge soll der langjährige Chef früher als geplant abgelöst werden.