Biblioteca Diego de Castro – chiusa 22 luglio