Electra: An Electron Beam Pumped 730 J Rep-Rate KrF Laser | IEEE Conference Publication | IEEE Xplore