Hi Gaudenz, great, many thanks! One tiny remark: while sponsorship levels start at 2000 USD we are also happy about smaller donations... before adding such a statement, I want to have feedback on the idea of creating a (wiki?) page to mention+thanks to those donators/sponsors? So, what do you all think? cheers, Holger