Is efficiency of gain generation in Li III 13.5-nm laser with 0.25-/spl mu/m subpicosecond pulses the same as with 1/spl mu/m?