Elefantenstübchen is a gastropub.