Lagmannen Johan Kock , död den25