‘Lost diamonds’: Rare Russian books stolen from European libraries