TUI Travel PLC se hizo con un 9,9% de la Air Berlin PLC.