git-gui: Update German glossary according to mailing list discussion