randomize webwork tasks
change the seed passed to the iframe using javascript
Die monatliche GitLab Wartung findet am Donnerstag den 15.1. statt, daher wird GitLab an diesem Tag zwischen 17 Uhr und 18 Uhr nicht erreichbar sein
change the seed passed to the iframe using javascript