零部件检验记录表:罗茨真空泵为何叫33型、13型、15型,是如何确定的