TUI verdoppelte operativen Gewinn im dritten Quartal