Merge branch 'master' of ssh://dgit.cs.uni-saarland.de:2222/np/2020/np-ss20-project-visualizer into master