hade utgjorts af kr.