Wappenstube is a gastropub.