Electra: a repetitively pulsed KrF laser system