Dorfstübchen is a pub.