Mario Mommer <mommer at igpm.rwth-aachen.de> writes:
> (and btw, what does 'arnesi' mean?)
it's the italian term for a worker's tools (like a carpenter's hammer,
saw and what not).
-- 
-Marco
Ring the bells that still can ring.
Forget your perfect offering.
There is a crack in everything.
That's how the light gets in.
     -Leonard Cohen