A beer hall known as Gambrinus.