David Wedgwood Benn — British linguist and scholar (1928–2017)