Remove a link that is no longer live.
Merge pull request #211 from bangerth/remove-broken-link

Remove a link that is no longer live.