Allgemeine deutsche Biographie (Allgemeine deutsche Biographie, 1895)