gas-filled rectifier