verkstad ; Johannesbergs grufvebolag,