A miniature high-power KrF laser excited with a capacitively coupled discharge | IEEE Journals & Magazine | IEEE Xplore