Translation of "Deckelschalter" in English