@pip Nice shot! It reminds me of Deichmans Central Library in Oslo. (Now moved to a new location). Love old libraries.