härstädes af ett pedagogiskt bibliotek.