Dalla biblioteca di Palazzo della Repubblica alla Biblioteca pubblica del Ducato: il destino del fondo librario dell'Offizio sopra le differenze