(2x8型真空泵)