The Dutch term "restitueren" matches the English term "repay"