mach.nindl.net
a tribute to Ernst Waldfried Josef Wenzel Mach (18 February 1838 - 19 February 1916)