diff --git a/std/player/comm.c b/std/player/comm.c
index dff94ea..03c4c9e 100644
--- a/std/player/comm.c
+++ b/std/player/comm.c
@@ -81,7 +81,6 @@
 varargs string name(int casus, int demonst);
 
 //local property prototypes
-static int _query_intermud();
 public int RemoveIgnore(string ign);
 public int AddIgnore(string ign);
 
@@ -103,7 +102,6 @@
   Set(P_EARMUFFS, 0);
   Set(P_EARMUFFS, SAVE, F_MODE);
   Set(P_EARMUFFS, SECURED, F_MODE);
-  Set(P_INTERMUD, SAVE, F_MODE);
   Set(P_IGNORE, ([]), F_VALUE);
   Set(P_IGNORE, SAVE, F_MODE);
   Set(P_BUFFER, SAVE, F_MODE);
@@ -1803,13 +1801,6 @@
   return 1;
 }
 
-static int _query_intermud()
-{
-  mixed tmp;
-  return member(pointerp(tmp=Query(P_CHANNELS))?tmp:({}), "Intermud") > -1;
-}
-
-
 int erwidere(string str)
 {
   str=_unparsed_args();
@@ -2330,6 +2321,9 @@
 }
 
 protected void updates_after_restore(int newflag) {
+  // SAVE-Flag einer praehistorischen Property P_INTERMUD entfernen.
+  Set("intermud", SAVE, F_MODE_AD);
+
   // Colourmap aktualisieren nach Restore
   colourmap = build_colourmap(QueryProp(P_TTY));