Manueller Vakuumierer, Mini-Vakuumierer, tragbare Vakuumbeutelpumpe zur