yep - they said at the time that they would be trying to fill as much of the gap as possible from leasing out council properties
so I'm wondering if, in the case of library closures, it's less the cost of running the libraries being saved than the opportunity to generate income from the buildings they occupy