Lindenstübchen is a gastropub.