Norges statsfluld utgjorde den30