Zur alten Mühle is a gastropub.