La Cueva del Diablo existia antes de la construcción del tranvía de la Sierra y ¿cual es su historia o leyenda?