omkring 9,500 kr. , hvgdm det antagea , att egaren ,smeden