Replay svn revisions 33204 and 33205.

These revisions were apparently lost in the svn-to-git conversion.
Merge pull request #2 from bangerth/replay-svn-revisions-33204-to-33205

Fix references to publications.html.

These revisions were apparently lost in the svn to git conversion because
the svn repo was still live when the conversion was already happening...