Ernst Mach — Remembered