On Thu, 13 Feb 2020 09:11:36 +0100 Michel Dänzer said:
> On 2020-02-12 6:42 p.m., Carsten Haitzler wrote:
> > On Wed, 12 Feb 2020 16:45:50 +0100 Michel Dänzer said:
> >
> >> On 2020-02-12 4:34 p.m., Carsten Haitzler wrote:
> >>> On Wed, 12 Feb 2020 15:36:06 +0100 Michel Dänzer
> >>> said:
>
On 2020-02-12 6:42 p.m., Carsten Haitzler wrote:
> On Wed, 12 Feb 2020 16:45:50 +0100 Michel Dänzer said:
>
>> On 2020-02-12 4:34 p.m., Carsten Haitzler wrote:
>>> On Wed, 12 Feb 2020 15:36:06 +0100 Michel Dänzer said:
>>>
On 2020-02-12 2:06 p.m., Carsten Haitzler wrote:
> On Wed, 12