jernarbetare , s. k. reparatör,