drwxr-xr-x archive
-rwxr-xr-x 177 404.html
-rw-r--r-- 7257 competition.html
-rw-r--r-- 797 coursematerial.html
-rw-r--r-- 1268 dates.html
-rw-r--r-- 3698 imprint.html
-rw-r--r-- 5551 index.html
-rw-r--r-- 5704 privacy.html
-rw-r--r-- 5199 submission.html
-rw-r--r-- 2482 task.html