Waldi's Lindenhof is a German restaurant.