Quench of LHC inner triplet magnet causes a small leak with major consequences July 21, 2023 by Comments