You can clone this repository using the git command above (will create directory "2025-08-08T16:33:23Z_tum"), or download the compressed archive.