Looking it up, apparently the new version was itself demolished in 2015 to make room for commercial spaces, which makes it even more sad.
If it makes you feel better the library building demolished in 2015 didn't mean the end of the library. The library moved to a new and improved building.
