  We explain a correct proof of the decomposition theorem for direct images of
constant Hodge modules by proper K\"ahler morphisms of complex manifolds. We
also give some examples showing certain difficulty in the non-constant Hodge
module case.

Algebraic Geometry