Re: [Gretl-devel] gretl usage in Germany