med det hemska namnet » Djefvulens son eller De tre röde männen .»