Merge pull request #8 from bangerth/master

Augment the documentation.