The history of the devil paul carus