The electra KRF laser system