Update abstract Middelkoop.
CRDT tutorial is only by Annette.
Merge branch 'gh-pages' of github.com:funktionale-programmierung/bob2015 into gh-pages