guldmynt , som vid slutet af Juli utgjorde 15,09 millioner kronor ,uppgick