First operation of the 20 MW Nijmegen High Field Magnet Laboratory | IEEE Journals & Magazine | IEEE Xplore