pund , 6,000 riksmark.