A simple kinetic model for electron-beam-pumped KrF lasers