guldmynt hade intill samma tid 9.550.000 kronor frän riksbanken utwäxlats.