Mach, Ernst, 1838-1916., , ;