Translation of "Doppelmagnetventil" in English