Nikodým, Otton Martin (1887-1974).