Gasthaus Zum Ochsen is a restaurant offering dining services.