Ja da ist direkt einer wenn man am Bahnsteig aus dem Lift kommt, ein Entwerter ist auch da.
Tipp: Ich kauf mir die Karten immer im Ankunftsbereich. Dort wo die Gepäckschalter sind ist ja der Tourismusstand. Die verkaufen auch Karten. Und bis die Koffer kommen dauerts ja eh immer. Nichts ist ärgerlicher als den Zug zu verpassen, weil unten 2 Touris aus Asien davor stehen und 20 Min brauchen bis sie die Fahrkarte haben;-)