Gas discharge and gas insulation. ([2016])