Zuwachs der Großherzoglichen Bibliothek zu Weimar (Böhlau, 1872)