My beloved Oslo - Old library

Oslo is a building site - and will be so for many years to come. 
Lucky that we still can admire some old architecture.
This is Deichman library built in 1933 - the new one is this