the devilman dub is a treasure