Gerningsmannen , en f. d. grufarbetare ,som