The Gitlab issues have been resolved. Unfortunately, CI traces, artifacts, and the package registry could not be preserved, but we hope that everything can be regenerated. We apologize for the inconvenience.
If you encounter any further problems, please contact simon.buttgereit@tu-ilmenau.de
Also document their specific formats. Closes #502
