10000 DEXT = 8512.6 DKK

1.0 DEXT (DEXTools) = 0.85126 DKK (Danish Krone)
1.0 DKK (Danish Krone) = 1.1747 DEXT (DEXTools)