Istituto storico italo-germanica. Biblioteca. Fondo Antonio Zieger