(ehemaliges Restaurant Frohsinn, abgebrochen)