Air-coolers for high power vacuum tubes | IEEE Journals & Magazine | IEEE Xplore