Waldheim is a restaurant and hotel.