Diese finden Sie hier
Ausserdem bleiben die Cafeteria und das Restaurant im Erdgeschoss für externe Gäste bis auf weiteres geschlossen. Der Takeaway-Service für Speisen, Snacks und Getränke bleibt in Betrieb. Warme Speisen sind als Takeaway täglich von 11.30–13.30 Uhr erhältlich. Die Details dazu finden Sie hier.