HVDC interrupters