Holsten Stübchen is a pub.