eine loesung herausdestillieren Synonym