È possibile scaricare il catalogo elettronico come file PDF utilizzando il pulsante "Download" nella barra di controllo.
Il pulsante "Scarica" è automaticamente disponibile nell’interfaccia utente del visualizzatore quando si verifica quanto segue:
.pdf
estensione.