Nakon velikog požara, radovi u Gradskoj knjižnici u Puli privode se kraju