Electron-beam-controlled discharge pumping of the KrF laser