Gasthaus Ochsen is a restaurant specializing in German cuisine.