David Turton (1940-2023)