Dictionary of National Biography, 1901 supplement/Erichsen, John Eric

