Traditional beer hall known as Marshall Pub.