Overview of the 13,000 Magnets in the International Linear Collider | IEEE Journals & Magazine | IEEE Xplore