[tor-commits] [orbot/master] Merge pull request #1 from av2k/av2k-patch-better-german-settings-translation