"extractive distillation" Deutsche bedeutung