(Removed workspace.xml from the git-repository)