[josm-dev] josm.osm.de down

[Christoph Eckert]

Hi,

> Withing the planet webspace, we use 6 GB for 2 differently compressed
> versions of the current planet, 2,5 GB for last week's planet, and 45
> GB for Garmin maps.

shall we remove some of the stuff and link directly to the pages of the 
providers? Planetfiles, Garmin maps and POIs are available on other pages 
anyway so there is no pressure to mirror it all on the openstreetmap.de 
machine with limited disk space.

Opinions?

Cheers,

ce