The English term "refine" matches the Dutch term "raffineren"