Amadeus aprovecha la ola de récords turísticos y gana un 20% más hasta junio