Grezzbachstübchen is a pub.