Nr. 15 Gasthaus Ochsen