Hipólito Escolar Sobrino — Spanish librarian (1919-2009)