Merge pull request #1 from JuergenGall/master

Test Pull Request
Henshin Editor mit neuester Henshin Version (Rev 1759)
Merge pull request #1 from de-tu-berlin-tfs/master

Neuester Henshin Editor