[Gretl-devel] Proposal for some changes to the German translation