Translation of "Überdruckschalter" in English