Operation of an HF (SF6+ H2) TE laser at 10-kHz pulse repetition rates | IEEE Journals & Magazine | IEEE Xplore