away area
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
Away area handle
Merge branch 'master' of ssh://medien.informatik.uni-ulm.de/mind_server