some modifications on the weekly
Merge branch 'coffeebreakjokes' of https://github.com/radke-tum/idp.git into coffeebreakjokes