Obituary: Keith Harris Woodwick (1927–2016)