Wer fliegt, bekommt wie früher eine Bordkarte ausgedruckt.