The empretron, a mercury pool arc tube allowing operation at repetition rates in the kilocycle range | IEEE Journals & Magazine | IEEE Xplore