s. k. grofarbetarne inom de stora verkstäderna , således icke verkstädernas hela personal.