Merge branch 'master' of...

Merge branch 'master' of ssh://dgit.cs.uni-saarland.de:2222/np/2020/np-ss20-project-visualizer into master
3 jobs for master in 1 minute and 43 seconds (queued for 3 seconds)