If you look at the dutch market, you'll pay 10k GBP for an IS200 with at least 88k miles.
An IS200 with, let's say, 50k miles cost you 13k GBP.
And thanks for the link to the sister site, but unfortunately germans don't speak english very well.
Besides, the car value is totally different there because you don't pay the BPM in Germany.