the lava of the devil