Fixes a bug with gnome/ini.js.
Fixes #377.
Fixes a jshint test error in ui.js.
Fixes a typo in ui.js.
Translation EN-DE

2nd set - please also check the comments