Ist das mit dem Namen "zum Roten Ochsen" belegt? Denn ich habe den "roten Ochsen" bisher nur im Zusammenhang mit dem Fischhäusla gelesen. Allerdings um 1797. Kann ein halbes Jahrhundert später natürlich hier auch noch mal so geheißen haben...--Marocco (Diskussion) 16:15, 28. Mär. 2019 (CET)