http://www.berlios.de/
Is there anything we could do to help? Is this too far outside our area?
I recall how useful and helpful BerliOS was back in the olden days
when it was Wikipedia's downtime backup and news source ... before
Wikipedia going down knocked over BerliOS too.
- d.