Final project report from Matthias Hinz
Revert "Final project report from Matthias Hinz"

This reverts commit e92d0148f5b49c8554c86894690eb3f803ab3376.