rename darmstadt to man-da, add longname

diff --git a/modules/debian-org/misc/hoster.yaml b/modules/debian-org/misc/hoster.yaml
index 14103ca39424d892ff4844140abd5e7a7b60a435..8614646e0f8b12c46730127724ef271a9c05c1e3 100644 (file)
--- a/modules/debian-org/misc/hoster.yaml
+++ b/modules/debian-org/misc/hoster.yaml
@@ -68,13 +68,6 @@ cst:
   netrange:
     - 213.188.99.208/28
   nameservers: [213.157.0.194, 213.157.0.193]
-darmstadt:
-  netrange:
-    - 82.195.75.64/26
-    - 82.195.75.32/28
-    - 2001:41b8:202:deb::/64
-  searchpaths: [debprivate-darmstadt.debian.org]
-  nameservers: [82.195.66.249, 217.198.242.225]
 dgi:
   netrange:
     - 93.94.130.128/26
@@ -109,6 +102,14 @@ isc:
   #nameservers: [149.20.64.2, 204.152.184.67]
   # sometimes very slow?
   nameservers: []
+'man-da':
+  netrange:
+    - 82.195.75.64/26
+    - 82.195.75.32/28
+    - 2001:41b8:202:deb::/64
+  searchpaths: [debprivate-darmstadt.debian.org]
+  nameservers: [82.195.66.249, 217.198.242.225]
+  longname: Metropolitan Area Network Darmstadt (man-da)
 nmmn:
   netrange:
     - 217.114.76.80/29