We had some problems our majordomo mail server. The mailing list was not operational for about 6 days. If you have send messages to the list during the last days, please send them once again. Sorry for the inconvenience,
Juergen