Gas leak forces evacuation of library