A documentary-style film about vacuum pumps.