Hausdorff 804978 7367951 2006-05-18T19:55:26Z 16@r 40933 #REDIRECT [[Felix Hausdorff]]