Library of the Institute of Civil Engineering and the Institute of Environmental Engineering closed until further notice