Pentrich Revolution and incidents of the trials of Brandreth, Ludlam, Turner and Weightman in the year 1817