Pseudomonarchia Daemonum
『悪魔の偽王国』にはその記載がない。