Ochsen is a restaurant.