It eventually turned up in the airport lost and found, but as they wanted to charge me £100 to mail it, I let it stay lost. grork/856951931134029824