Magnetic contact sensor GERCON 7410