Fix broken link.
Merge branch 'gh-pages' of github.com:funktionale-programmierung/bob2015 into gh-pages