Vacuümpomp: Busch 16 m³/u