Felix Hausdorff (1868 – 1942)