
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">

  </head>

  <body bgcolor="#ffffff" text="#000000">

    Hi,<br>

    I received a later review with few fixes. Please use the attached

    translation instead of the previous one.<br>

    <br>

    Regards,<br>

    Luca<br>

  </body>

</html>