  After explaining the definition of pure and mixed Hodge modules on complex
manifolds, we describe some of Saito's most important results and their proofs,
and then discuss two simple applications of the theory.
