(海门上真真空泵厂)