Bugfix ilCtrl-Checker in Admin-Menu
Merge branch 'develop'