> On 10 May 2021, at 16:31, Moritz Barsnick <barsnick at gmx.net> wrote: > > > No, they are not. How does one attach a file here? I’m pretty sure I did attach the stuff… Bouke