David Richardson (1914-2015)