Zur Alten Mühle is a Gasthof.