Kongelige Norske videnskabers selskab. Biblioteket.