har således utgjort kr.