From: Hans Dembinski (hans.dembinski_at_[hidden])
Date: 2019-09-27 13:41:15
> On 27. Sep 2019, at 15:40, Hans Dembinski <hans.dembinski_at_[hidden]> wrote:
>
> Thanks, Paul, Mateusz, Mike for your answers.
Sorry, Josh, I forgot to thank you.