Hm.. but libcryptsetup4 does not require device-manager at all and that would be totally wrong in any case.