Did edits to de Rham section, except for final theorem

Completed edits from Bernhard except for rewriting last theorem, and the parts just before to be put in.
Left a number of todo notes.