Ernst Zündel – in memoriam (24 avril 1939 – 5 août 2017)