Crikey, that's a blast from the past. I just checked German eBay (I'm in the EU) and there are a few on there for around 250 euros each. If you know anyone who is a frequent traveller between Germany and the UK, it might be worth asking them. Or you could take your chances with post-Brexit...