The Judge and His Hangman, a book by Friedrich Dürrenmatt