, , utgår af norska statsmedel;