einige Fehler behoben
Merge remote-tracking branch 'origin/master'

Conflicts:
	tk3.labyrinth.umundo/src/tk3/labyrinth/umundo/UmundoManager.java