Opening of the new public library of Oslo, Norway – Deichman Bjørvika