Hugo Steinhaus (1887-1972) (1972)