On 09.09.19 23:19, Jeremy White wrote: > I am deeply saddened to report that our friend and colleague, Józef > Kucia, died last month at the age of 28. I am very sorry to hear that. I wish all the best to his family and his friends. Jens