af det norska 12 millionerstatslånet.