Gärningsmannen , en f. d. grufarbetare,