Archivmaterialien zu Ernst Mach, 1838-1916 - Mach, Ernst (2019)