de/de-informal updates: Replace "Nutzer" with more common word "Benutzer"
/ fix several typos / Fixes FS#2821
Merge pull request #253 from lupo49/master

de/de-informal updates: Replace "Nutzer" with more common word "Benutzer" / fix several typos / Fixes FS#2821