Holland Mühle is a gastropub.