Der Höhlen/Spaltennamen beziehen sich auf den daneben fließenden Bach. Es ist durchaus üblich im Falle einer Namensänderung des Bezugsobjektes generell Namensänderungen durchzuführen. Wird zum Beispiel Stinkenbrunn in Steinbrunn umbenannt, dann werden auch die Stinkenbrunner Seen in Steinbrunner Seen umbenannt. Da aber deine Revertierung mit so netten und schmeichelhaften Worten erfolgte und du dich auf 1886 berufen kannst wollen wir es dabeu belassen. Obwohl ich es grundsätzlich bedaure, dass die Open Street Map von so unbedeutenden Felsnischen zugemüllt wird.