Redaktioneller Hinweis: In einer früheren Version des Artikels wurde missverständlich formuliert, Gäste hätten ihre Speisen selbst bezahlt. Maßgeblich ist die Darstellung der Kantinenpächterin, dass das Buffet privat finanziert gewesen sei und nicht aus öffentlichen Mitteln. Die entsprechende Passage wurde präzisiert.