workspace.xml aus repository gelöscht - sonst gibt es probleme, da wir uns gegenseitig die datei überschreiben