Electra: Repetitively Pulsed 700 J, 100 ns Electron Beam Pumped KrF Laser | IEEE Conference Publication | IEEE Xplore