Gasthaus Roter Ochsen is a pub with a long history, dating back to 1733.