Ernst Mach quotes