How Nash Vacuum Pumps Work