On Wed, 21 Jul 2010 16:06:59 +0200, Carsten Dominik <carsten.dominik@gmail.com> wrote:
> 
> Hi Eric, Ulf,
> 
> please pull and check if this is fixed now.
> 
> Thanks!
> 
> - Carsten

Definitely fixed!  Thanks.  My work web pages are now back to what they
should be :-)