"In view of these mitigating circumstances, Masafaan was not executed but was sent to Robben Island to make lime from sea shells, to be used in buildings such as the Castle." . . . .