har sålunda utgjort kr.