som af andra statsmedel ulgått , utgjort kr.