Was kostet ein guter Vakuumierer?