Fehlerkorrekturen, Anpassung an SOSDOC build

(cherry picked from commit 648c6bcf716ee82ac05511bfb30316a77551d615)

Conflicts:
	.gitignore