The Electra KRF laser | IEEE Conference Publication | IEEE Xplore