Rituals of Retribution: Capital Punishment in Germany, 1600-1987