Gastätte Ochsen is a restaurant.