Ernst Zündel 24 April 1939 – 5 August 2017