frimärkssamling , innehållande 9,300 fri märken , för 14,000 kr.