Reiterhof Mittelsmühle is a Gasthaus.