CAVERN OF ROBERT THE DEVIL.