Tests of a vacuum gauge for an HTS hydrogenerator | IEEE Conference Publication | IEEE Xplore