Ostermaier's Waldeck is a restaurant with a beer garden.