Obituary. (2nd January 2021) - Elster, Rosalind