Bibliothek für Bildungsgeschichtliche Forschung [Institution]