Have you considered ordering it from a store like
Expansys (
http://www.expansys.de/) which has it for 650 Euros or
Devicewire (
http://www.devicewire.co.uk/) Which is priced in pounds, but does ship to Germany.
I'm doubtful that you'r going to see a second hand version of it anytime soon as it only went on sail a couple of weeks ago.