Takk for hyggelige kommentarer :-)
Faktisk gjør en del av de nettsidene som jeg har scannet på jakt etter alle detaljer om dette stedet et poeng av at det var mye mer enn et bibliotek. Det var en hage i midten med et refektorium rundt. Det var auditorier. I det hele tatt var det et kulturhus. Nå synes ikke jeg at det er noe stort poeng. Dagens biblioteker har også mye mer enn bøker. De har aviser, tidsskrifter, filmer, CD\'er, tilgang til internett og mye mer. Det er også vanlig at biblitekene har både filmvisning og høytlesning. Noen kaller ikke biblioteket sitt for bibliotek lenger, men mediatek for å vise bredden i utvalget. Det vanligste er vel likevel å kalle det et bibliotek selv om de tilbyr mye mer enn bøker.
I dag er det bare ruiner igjen, men hvis du besøker stedet, kan du ane noe av storheten til byggverket.