Hat bei uns im Juni funktioniert. Es gibt keine Bordkarten zum selbst ausdrucken,
die erhält man dann an dem Gepäckabgabe/Premium Check In Schalter.