I visited the dining room. The review applies only to the dining room.
From 11:00 to 11:30 there is a good assortment. The dishes are varied and hearty. The prices are reasonable. The service is polite.
Cutlery of the middle price segment, does not bend when used. There are table knives. Napkins are offered.
The dining room is also equipped with a washbasin with a weak dryer. But you can wash your hands before eating, and this is very pleasing.
There may be a lot of people around 11:40-12:00.