(Ampli2.) Amadeus casi triplica su beneficio en el primer semestre, con 540,3 millones