Derek Wilkinson 1929-2001