At current exchange rates I found it for $5540. However I am too lazy to read about exporting from Germany and Importing to the US. I know there is tax that is like 20% and then shipping. However at least it comes with the mount, Aimpoint covers, etc.
But yes that is a very sexy setup!