Marktstübchen is a pub.