-rwxr-xr-x 177 404.html
-rw-r--r-- 7483 competition.html
-rw-r--r-- 854 coursematerial.html
-rw-r--r-- 1301 dates.html
-rw-r--r-- 3289 imprint.html
-rw-r--r-- 7272 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-- 5857 privacy.html
-rw-r--r-- 6372 submission.html
-rw-r--r-- 2678 task.html