Gasthof Zum Felsenkeller ist vermutlich dauerhaft geschlossen.