In addition to my just posted bug-report (based on a mail of Mike): I would be willing to work on this one, but wouldn't be able to do just that before February, 8th. If despite my lack of time at the moment noone disagrees I will assign this bug to myself this evening (Middle European Time).
Greetings, Wolfram -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
