Waidler Hof is a gastropub with a dining hall.