The Dutch term "distilleren" matches the English term "distil"