Development of a high-pressure discharge for diode-pumped rare gas lasers | IEEE Conference Publication | IEEE Xplore