Binsfeld's classification of demons