special event: institutstag
exatp: swap leader and ext. prof.
Merge commit 'github/testing' into beta