. . . "once existed to mine crystals, gems or ores such as copper, zinc," . .