Archivmaterialien zu Ernest Mandel, 1923-1995 - Mandel, Ernest (2019)