Zur Zeit gilt die normale Speisekarte als Mittagskarte