Ein anderes Dokument, ausser die Bordkarte zum ausdrucken, kenne ich nicht. Bin auch immer gleich durch mit dem ollen Zettel.