workspace.xml ist kleiner geworden.