Hausdorff, Felix, 1868-1942