Mach, Ernst / Gutenberg Edition