Thank you so much @yeaho! Indeed such impressive buildings filled with history. So glad that so many are preserved so well so we can wander around them, fantasizing how it must have been in the old days.