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