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