So in this case, since theft was mentioned, does it mean that the library gave up title and rights to something that had been stolen from it years before?J