Lufthansa-Pensionsfonds bietet Amadeus-Anteile zum Verkauf an