Beim Eintritt ins Restaurant und beim Essenholen vom Buffett (Selbstbedienung) muß man die Maske tragen. Das Personal trägt immer Masken. Es gibt am Eingang Desinfektionsmittel und wer will kann Plastikhandschuhe überstülpen. Am Buffett gibt es nur die üblichen Wartezeiten wie auch vor Corona.