Allgemeine deutsche Biographie 9 Geringswald - Gruber (Leipzig : Duncker & Humblot, 1879)