sedlar utgjorde den 31 maj 85 , 500 , 000 kr.