A Prestressed-Core Hollow-Strap-Coil Test Magnet for the Omnitron | IEEE Journals & Magazine | IEEE Xplore