GUI now functions more fluently.
Merge branch 'master' of ssh://git@github.com/Gruppe21/exph0001.git