fix german translations (fixes #11617)