Dear Lars,

here we go with the real number. I have a slightly higher total now, of about 11,4 million. Does not change my comments a lot though. Calculation are in page 2 of the spreadsheet attached.