On Mon, Jul 07, 2008 at 12:41:07PM +0200, tim.muthmann at zdg-gmbh.de wrote: > [...] Your mirror seems to be out of sync. The last change to the web page 12 days ago is not reflected on your mirror. Have a look at the list of WWW mirrors on the left, the second German mirror (www12) is missing. Diego