ningen utgjorde vid maj månads slut kr.