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