[gelöst] Server down: everest.openstreetmap.de --> osmhv, openingh, ..

‘everest’ ist nicht mehr erreichbar und damit auch einige WebSeiten off-line

• openingh
• osmhv
• ptna

Hängt das mit dem Umzug von JOSM zusammen? https://forum.openstreetmap.org/viewtopic.php?id=65259

Toni