under sisth juli månad utgjorde kr.