[Talk-de] openstreetmap.de down?

[Walter Nordmann]

Hi, wollte gerade auf list.openstreetmap.de zugreifen:

|ping list.openstreetmap.de ping: unknown host list.openstreetmap.de|

Und die Webseite meldet sich im Browser auch nicht.

Trouble?

Gruss
walter

ps: gerade hat ein Kollege bestätigt, dass er das gleiche Problem hat. 
Wir sind bei unterschiedlichen Providern, also solle es nicht daran 
liegen, dass eventuell DNS-Einträge veraltet sind.