WWW server now OK

[pdmosses@brics.dk]

> The WWW server www.brics.dk is still not responding, but it seems that
> one can get into the CoFI file system OK using the following URL:
> 
>   http://www.daimi.aau.dk/BRICS/Projects/CoFI/
> 
> so I hope that this will provide adequate access until the proper
> addresses start to work again - probably by noon Friday.

Thanks to some overtime put in by our technical support staff at
Aarhus this evening, the BRICS WWW server appears to be responding
normally again, so the alternative address above should not be needed.

Peter