In memoriam: Gerald malcolm stern (October 9, 1930‐September 9, 2018). Issue 12 (28th November 2018) - Lees, Andrew