JOHN CRAXTON (BRITISH 1922-2009)