Revert "Merge branch 'master' into 'master'"
This reverts merge request !1 (merged)
Reason: On 19th November I switched the URLs of the submodules to the new git domain git.ffnw.de. Please dont overwrite these changes! See 0d69fa8e for details.
This reverts merge request !1 (merged)
Reason: On 19th November I switched the URLs of the submodules to the new git domain git.ffnw.de. Please dont overwrite these changes! See 0d69fa8e for details.