Vakuum-Pumpen – Gerät zur Entfernung von Gas-Luft-Gemischen aus dem Schacht über ein Rohrleitungsnetz[1] [1] Erlass vom 24.08.2006 № 797 „Zur Genehmigung und Einführung in Kraft der Empfehlungen zur Degazation von Kohlegruben“.