Generation of picosecond UV pulses by an laser for amplification in an ArF amplifier