Roter Ochsen is a German restaurant specializing in traditional cuisine.