Konferenz zum 100. Todestag: Ernst Mach noch heute „hochaktuell“