devil the redeemer