werkstad , lydande å 100 kr. , såldes i lördags å stadsauklion.