Workspace created.
Merge branch 'master' of https://github.com/Matthias-Hess/sprep1.git
Changes made by Matthias Hess (matthias.hess@gmail.com).