In vielen unserer Kantinen finden Sie Gästekartenterminals, an denen Sie gegen 10 € Pfand eine Gästekarte ziehen können. In Kantinen ohne Gästekartenterminal erhalten Sie die Gästekarten an der Kantinenkasse. Anschließend laden Sie Ihre Karte mit einem Betrag Ihrer Wahl (5, 10, 20 oder 50 € - nur Geldscheine möglich) an einem der Terminals auf. Nun können Sie mit Ihrer Gästekarte in den Kantinen und an unseren Verpflegungsautomaten bezahlen.
Falls Sie Ihre Gästekarte einmal zurückgeben möchten, können Sie sich Ihr Guthaben und Ihr Pfand ebenfalls an den dafür vorgesehenen Terminals oder an der Kantinenkasse auszahlen lassen.