Frank Englert, Leiter der Bibliothek