diff --git a/collects/deinprogramm/DMdA-assignments.ss b/collects/deinprogramm/DMdA-assignments.ss
index 895c51d6e3..e5643dd360 100644
--- a/collects/deinprogramm/DMdA-assignments.ss
+++ b/collects/deinprogramm/DMdA-assignments.ss
@@ -19,5 +19,5 @@
  procedures
  (all-from-except assignments: deinprogramm/DMdA procedures
 		  quote
-		  symbol?))
+		  symbol? string->symbol symbol->string))
 
diff --git a/collects/deinprogramm/DMdA-beginner.ss b/collects/deinprogramm/DMdA-beginner.ss
index c2d3e713fe..df0669ad0e 100644
--- a/collects/deinprogramm/DMdA-beginner.ss
+++ b/collects/deinprogramm/DMdA-beginner.ss
@@ -18,5 +18,5 @@
 		  quote
 		  make-pair pair? first rest
 		  length map for-each reverse append list list-ref fold
-		  symbol?
+		  symbol? string->symbol symbol->string
 		  apply))
diff --git a/collects/deinprogramm/DMdA-vanilla.ss b/collects/deinprogramm/DMdA-vanilla.ss
index 57e2ba777f..42eeac7356 100644
--- a/collects/deinprogramm/DMdA-vanilla.ss
+++ b/collects/deinprogramm/DMdA-vanilla.ss
@@ -17,5 +17,5 @@
 		  quote eq? equal?
 		  set!
 		  define-record-procedures-2
-		  symbol?
+		  symbol? string->symbol symbol->string
 		  apply))
diff --git a/collects/deinprogramm/DMdA.ss b/collects/deinprogramm/DMdA.ss
index a70bddc899..de333e253e 100644
--- a/collects/deinprogramm/DMdA.ss
+++ b/collects/deinprogramm/DMdA.ss
@@ -316,7 +316,9 @@
   (symbol? (%a -> boolean)
 	   "feststellen, ob ein Wert ein Symbol ist")
   (symbol->string (symbol -> string)
-		  "Symbol in Zeichenkette umwandeln"))
+		  "Symbol in Zeichenkette umwandeln")
+  (string->symbol (string -> symbol)
+		  "Zeichenkette in Symbol umwandeln"))
  
  ("Verschiedenes"
   (equal? (%a %b -> boolean)