Sir John Edward Ludgate Martin (1918-2011)