Hotel Trinserhof is a restaurant.