+1 on both (though I think a vote wouldn't have been necessary for it). Greetings,
Wolfram P.S.: A bit under pressure at work AND private therefore rather loosely watching than actively working. This should end (at latest) around march... -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
