Vakuumpumpen, trockenlaufend, für Vakuumöfen