Note: lost mails: I became aware that some (many?) mails sent to me/by me have been lost. In case you miss an answer, resend your mails please (or send a regular mail letter, or call me or our secretary by phone).