**** BEGIN LOGGING AT Mon May 06 02:59:57 2019
May 06 13:55:28 <Marex> tlwoerner: maybe we should move it here ?
May 06 13:55:47 <tlwoerner> Marex: yes :-)
May 06 14:07:48 <Crofton> thanks :)
**** ENDING LOGGING AT Tue May 07 02:59:57 2019