David Spiller (1942 - 2018)