It must have been through gritted teeth that the board of International Airlines Group, the holding company for British Airways and Iberia, approved the Spanish airline’s sale of its 7.5% stake in travel technology company Amadeus to Nomura International