High yield rep-rate operation of electra; an electron beam pumped KrF laser | IEEE Conference Publication | IEEE Xplore