.gitignore added
ein paar Änderungen
Merge branch 'master' of github.com:informatik2012/se2

Conflicts:
	.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources
	.metadata/.plugins/org.eclipse.jdt.core/903846640.index