Der Server ist down, Ist ein alias von everest.openstreetmap.de. Es sind auch andere Services betroffen (opening_hours, osmrm, … )
Zitat Admin:
Ich versuche rauszufinden was passiert ist. Stand jetzt scheint das
System komplett vernichtet worden zu sein. Wenn ich in Rescue boote begrüßt
mich ein leeres Ubuntu 18.04…