Amplification characteristics of an efficient discharge-pumped KrF laser