Ich glaube es geht um die Bordkarten für das Flugzeug. Wer soll denn in Frankfurt Bordkarten fürs Schiff ausgeben? Habe ich ja noch nie gehört.
Man checkt doch mit Personalausweis oder eben Reisepass am Flugschalter ein und bekommt da seine Bordkarte. Mit Gate und Sitzplatz.