John Craxton 1922-2009