139,38 tons med redskap för industrien , värde kr.