— Guillotinen införd i Norge.