Allgemeine deutsche Biographie (Duncker & Humblot, 1894)