Translation of "Riegelschaltkontakt" in English