It is the library of the Escorial, which was Phillip II’s one-man monastery in the northwestern hills of Madrid.
Lovely.