Vielleicht waren auch die Ticketautomaten der WFB unter dem Vordach gemeint  die aber inzwischen auch auf der Karte nicht mehr existieren. Ich habe eben noch die beiden neuen Süßigkeitenautomaten bei den anderen Ticketautomaten in der Halle hinzugefügt. Soweit ich sehe, sind hier jetzt alle Automaten auf der Karte up to date.