i've updated the mirrors page; right now, it's only got 9grid.es right now. i've also removed the explicit mention of specific mirrors from the "sources repository" page, where i think you were seeing what you were seeing. i've changed it to reference the mirrors page.
i only saw 9grid.de on the contrib index page; i've removed that. that page is automatically generated, although that hasn't run in a while. i'm reworking that script a bit; the new version will refer to the wiki page on mirrors. i expect to be running that more regularly by the end of the week.