Vakuumpumpen zur Erzeugung von Hoch- und Ultrahochvakuum durch Kühlen von Teilen der Wand des Vakuumbehälters mit Hilfe verflüssigter Gase auf extrem niedrige Temperaturen, an der dann in fester Form Gasmoleküle durch Kondensation niedergeschlagen werden.