Gasthaus Ochsen is a restaurant.