Carlos Santa María Library, San Sebastián