avoid legacy domain informatik.tu-muenchen.de;

--- a/src/Pure/General/mailman.scala	Fri Jun 18 15:03:12 2021 +0200
+++ b/src/Pure/General/mailman.scala	Wed Jun 23 17:39:43 2021 +0200
@@ -67,5 +67,5 @@
     archive(Url("https://lists.cam.ac.uk/pipermail/cl-isabelle-users"), name = "isabelle-users")
 
   def isabelle_dev: Archive =
-    archive(Url("https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev"))
+    archive(Url("https://mailmanbroy.in.tum.de/pipermail/isabelle-dev"))
 }