Mine-sweeping means, Means for destroying mines of electromagnetic type {by making use of superconductivity}