Gasthaus Mühle is a restaurant offering traditional cuisine.