Obituary Willem van Zeist: 12 March 1924–7 October 2016