Room-temperature single crystal laser pumped by an electric-discharge HF laser. (September 2016)