(15升真空泵有多重)