Baden, Oberehrendingen, Höhle, Baden