HL-LHC-UK HL-LHC-UK G. Burt, Lancaster University 1 HiLumi-LHC UK Superconductivity and Cryogenics Machine-detector interface Beam dynamics Crab Cavities Collimation Manchester…