he was the introducer of speleology in spain