PersonneZermelo, Ernst (1871-1953)