Internal Server Error on www.debian.org

[Christoph Martin]

Hi,

when trying to use the search CGI on
http://www.debian.org/distrib/packages I encounter Internal Server
Errors.

Christoph