Danmarks paedagogiske Bibliotek. Dokumentationsafdelingen.