10000 DEXT = 7688.8 DKK

1.0 DEXT (DEXTools) = 0.76888 DKK (Danish Krone)
1.0 DKK (Danish Krone) = 1.3006 DEXT (DEXTools)