Roter Ochsen is a traditional student pub, established in 1703.