de_DE.lang: Fix inconsistent naming of Interface Terminal; clearer trans...

...lation of interface's "show/hide in terminal" button