Vacudest-Vakuumdestillationssysteme werden 30 Jahre alt