Denis Mitchell 1912–1993