Lindenhof is a restaurant.