Revert "Remove repo at FZI"

This reverts commit 535d767893716e121fc0b18e422c2d0a39af3e8b.