Dictionary of National Biography, 1885-1900/Heidegger, John James

