tog ytterst sällan skarprättaren i anspråk och guillotinen hade på hans tid långa ferier.