Waldmannstein oder Totenkopffelsen - so wird der große Felsen genannt. Wenn man ihn vom Wanderweg aus betrachtet, sieht er aus, als wäre es ein riesiger Totenkopf.