Den Hinweis verstehe ich nicht, die Mensa ist eingetragen. Ich finde die Kennzeichnung als Schnellrestaurant etwas irreführend, aber anscheinend gibt es keine bessere amenity-Kategorie für Kantinen/Mensen.