Geodætisk institut (Denmark). Biblioteket.