därefter till det stora marinbiblioteket , ett af de värdefullaste i hela verlden.