-rwxr-xr-x 177 404.html
-rw-r--r-- 7318 competition.html
-rw-r--r-- 854 coursematerial.html
-rw-r--r-- 1303 dates.html
-rw-r--r-- 3223 imprint.html
-rw-r--r-- 2224 index.html
-rw-r--r-- 88 jumbotron-competition.html
-rw-r--r-- 99 jumbotron-coursematerial.html
-rw-r--r-- 220 jumbotron-default.html
-rw-r--r-- 89 jumbotron-submission.html
-rw-r--r-- 86 jumbotron-task.html
-rw-r--r-- 5813 privacy.html
-rw-r--r-- 6051 submission.html
-rw-r--r-- 2678 task.html