Frequency-tunable, terahertz gyrotron for the direct measurement of the transition of positronium | IEEE Conference Publication | IEEE Xplore