De rham cohomology of differential modules on algebraic varieties (2020)