Arthur George Pimm (1927-2003)