@jack There is a very old (70s) encyclopedia for kids in Spanish called "Se Todo" which I collected and absolutely love. One of the fascicles has a nice drawing of this building on the cover:
cloud10.todocoleccion.online/l