Influence of the specific pump power on the output energy and efficiency of a 223-nm gas-discharge-pumped excimer KrCl laser