Note: lost mails: I became aware that some (many?) mails sent to me have been lost due to multiple reasons. In case you miss an answer, resend your mails please.