12 Nov
2020
12 Nov
'20
12:21 p.m.
Dear Claude -
a big thank-you for running the list all these years, and to Jürgen, for taking over, and kudos for keeping the archive.
Best regards, Johannes.