Problem with search engine on Danish mirror?

Hi Seems to be some problem with the search engine on the Danish Mirror (dk.php.net) this afternoon. Query: The current query was 'preg_match' in the 'function list' (have tried with lots of other queries too). Error message: "Service not working The service you tried to access with the URL: /manual-lookup.php?pattern=preg_match is not available on this server right now. Please check back later, or if the problem persist, contact the webmasters." Puzzles me that the error message mentions 'manual-lookup.php' since I actually queried the 'function list' (but I guess both query scopes are handled by the same script). Time: It didn't work this morning, and neither this afternoon (GMT+1). Did, though, work occasionally at some point. Me: I use php.net on a daily basis (and the search engine), and am very pleased with and grateful for the service. I am not a web/php rookie. Yours sincerely, Jacob Friis Mathiasen, stud.it. +45 36 96 30 37