I was in the Hiltl House à la carte restaurant. The menu lists all allergenes, and there are many gf options, even some unexpexcted ones such as gnocchi and cheescake. Because of the latter, I wrote an email beforehand to check in whether the list of allergenes are indeed correct. They answered immediately, and confirmed that all these dishes are gf. The cheescake is made in the same oven, so maybe ask about risks of crosscontact when ordering. But I would def recommend the place.
— Somewhat
— Gluten-free items are marked on the main menu
— Most/All
— Excellent