Measuring the gravitational astigmatism of a radio telescope | IEEE Journals & Magazine | IEEE Xplore