Kantinegemeinschaftlicher Speiseraum bei Massenverpflegung, auch die dazugehörende Küche und Verkaufsstelle.