The Electra KrF Laser System | IEEE Conference Publication | IEEE Xplore