eine verfeinerung erzielen Synonym