Zum Roten Ochsen ist vermutlich dauerhaft geschlossen.