de_DE.lang: Fix inconsistent naming of Interface Terminal; clearer translation of interface's "show/hide in terminal" button
Merge pull request #62 from Wuestengecko/patch-1

Potato.