No, I just didn't have time to write a good response, yet...

Will try to do that as soon as possible.

On Tue, 2018-08-14 at 13:11 +0200, ummeegge wrote:
> Hi,
> just wanted to know if i should drop this one ?
> 
> Best,
> 
> Erik