First Short Orbit Nested Corrector Magnet for HL-LHC Produced in the Industry | IEEE Journals & Magazine | IEEE Xplore