anmärkt , att hamnfogdarne taxerats till 9,000 kr.