1952 International B112 Vacuum Pump