Pulsed power for the Electra KrF laser | IEEE Conference Publication | IEEE Xplore