Europeans (I'm German) often sigh at the price differences, but a big part of it is just that US prices are listed without VAT, while European prices are, and VAT differs across EU member countries.

Denmark has a VAT of 25%, so the DKK 5499 price without VAT is DKK 4399, which amounts to ~$684. Still more but not substantially.