95 GHz gyrotron with water cooled magnet and high average power | IEEE Conference Publication | IEEE Xplore