Allgemeine deutsche Biographie (Duncker & Humblot, 1879)