Efficient quarter-Joule KrF laser with corona preionization | IEEE Journals & Magazine | IEEE Xplore