kommer att införlifvas i Biblioteca Nacional , under det dubletterna komma att fördelas mellan provinsbiblioteken.