guldmynt utgjorde för samtlige bankerna : den 31 maj kr.