[n] a tavern below street level featuring beer; originally a German restaurant in the basement of city hall