Moving some TUM repositories from our old hosting at code.in.tum.de to github
Merge pull request #2320 from amaldo/master

Moving some TUM repositories from our old hosting at code.in.tum.de to g...