[David Atkatz]

Even if a librarian sold the items, they are still stolen. In that case, stolen by said librarian.
I think there's ample proof of previous ownership. It's refusal to own up to incompetence that prevents the recovery.