Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
* Update timestamps in docstrings * Add mypy to setup.cfg * Fix formatting issues