David Croft (1922-2011)