move to new gitlab

ekresse
2024-04-21T01:17:43Z

git.imn is no long term support, switch to https://gitlab.dit.htwk-leipzig.de/ with whole project