High Voltage Insulation Systems For Gas-Cooled Superconducting Power Devices