For those genuinely interested in this player, the Harman Kardon DVD25 can be purchased on Germany, including taxes and delivery to the UK for less than £275.
that guenstiger website is not a retailer but a price search engine. I personally bought mine from www.mediacheckpoint.de with COD. No problems at all.