No, it's in USD. it's about 9.5 trillion kroner.

Incorrect, it's 1T USD, 9.5T Kroner.

It's 9.5T Kroner. Which is ~1T USD.

Not true - it's 9.5T Kroner.