
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

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

    <font face="Helvetica, Arial, sans-serif">Dear Colleagues,<br>

      <br>

      we were just informed that the air condition system for the A-wing

      in CC has failed.<br>

      It will not be repaired before next Monday. If it gets too hot the

      HallD counting house<br>

      may serve as a sanctuary ;-)<br>

      <br>

      Best Regards,<br>

      Beni<br>

      <br>

    </font>

  </body>

</html>