Gewerbliche Rotations–Vakuumpumpen, Rotations–Luftverdichter