Lindenhof is a gastropub known as a local institution.