Das größte Vakuum, das am LHC erzeugt werden muss, ist das Isoliervakuum für die Magnete – es entspricht dem Leerpumpen des Hauptschiffs einer Kathedrale, das sind etwa 9000 Kubikmeter.