Gymnasial-Bibliothek.