5 kHz high repetition rate excimer laser | IEEE Conference Publication | IEEE Xplore