This morning's Times; library theft and the British Museum

Two stories of professional interest in this morning's <a href="http://www.thetimes.co.uk/" target="NewWindow">Times</a>  : a report of a Danish librarian turned thief, now dead, who stole 3,200 books from the Danish Royal Library in Copenhagen. His widow and others were caught trying to sell a 1517 title, irritatingly unnamed, through Christie's. And a letter on the letters page correcting a previous report about books lent by the House of Commons Library to the Kings Library at the <a href="http://www.thebritishmuseum.ac.uk/" target="NewWindow">British Museum</a>  .
Theft by librarians from their own collections is unfortunately not unknown. I wonder if it has ever been quantified? I knew one senior librarian of a major London institution who referred to his extensive and internationally famous historical collection as his "pension fund"...he was joking, wasn't he?