Magnetisierer für Schraub- und Greifwerkzeuge, Entmagnetisierer für Werkzeuge, die bei elektronischen Geräten eingesetzt werden