Sextupole correction magnets for the Large Hadron Collider | IEEE Conference Publication | IEEE Xplore