diff --git a/collects/deinprogramm/DMdA-advanced.rkt b/collects/deinprogramm/DMdA-advanced.rkt
index f09d5055db..4adf7e9ce1 100644
--- a/collects/deinprogramm/DMdA-advanced.rkt
+++ b/collects/deinprogramm/DMdA-advanced.rkt
@@ -1,10 +1,8 @@
 #lang deinprogramm/DMdA
 
-(require syntax/docprovide)
+(require syntax/docprovide "DMdA-deflam.rkt")
 (provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
-         let let* letrec
-	 (rename-out (DMdA-advanced-lambda lambda))
-	 (rename-out (DMdA-advanced-define define))
+         let let* letrec lambda define
 	 cond if else begin and or set! quote
          define-record-procedures define-record-procedures-2 
 	 define-record-procedures-parametric define-record-procedures-parametric-2
diff --git a/collects/deinprogramm/DMdA-assignments.rkt b/collects/deinprogramm/DMdA-assignments.rkt
index 2227cce15b..d3da76cda3 100644
--- a/collects/deinprogramm/DMdA-assignments.rkt
+++ b/collects/deinprogramm/DMdA-assignments.rkt
@@ -1,10 +1,8 @@
 #lang deinprogramm/DMdA
 
-(require syntax/docprovide)
+(require syntax/docprovide "DMdA-deflam.rkt")
 (provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
-         let let* letrec
-	 (rename-out (DMdA-advanced-lambda lambda))
-	 (rename-out (DMdA-advanced-define define))
+         let let* letrec lambda define
 	 cond if else begin and or set!
          define-record-procedures define-record-procedures-2 
 	 define-record-procedures-parametric define-record-procedures-parametric-2
diff --git a/collects/deinprogramm/DMdA-deflam.rkt b/collects/deinprogramm/DMdA-deflam.rkt
new file mode 100644
index 0000000000..b34f5f9d6e
--- /dev/null
+++ b/collects/deinprogramm/DMdA-deflam.rkt
@@ -0,0 +1,10 @@
+#lang deinprogramm/DMdA
+
+;; this file exists so there is a single file that exports
+;; identifiers named 'define' and 'lambda' that are the 
+;; assignments and advanced versions of 'define' and 'lambda',
+;; so that we can tell scribble about this file and then it
+;; can connect up the re-exports to the documentation properly.
+
+(provide (rename-out (DMdA-advanced-lambda lambda))
+	 (rename-out (DMdA-advanced-define define)))
diff --git a/collects/deinprogramm/scribblings/DMdA-assignments.scrbl b/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
index 31f3e9c1e4..1d49ed74a1 100644
--- a/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
+++ b/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
@@ -85,12 +85,14 @@ oder @scheme[write-string].
 }
 
 @section[#:tag "advanced-definitions"]{Definitionen}
+@declare-exporting[deinprogramm/DMdA-deflam]
 
 @defform[(define id expr)]{Diese Form ist wie in den unteren
 Sprachebenen, mit dem Unterschied, dass an @scheme[id] mit
 @scheme[set!] zugewiesen werden kann.}
 
 @section[#:tag "advanced-lambda"]{@scheme[lambda]}
+@declare-exporting[deinprogramm/DMdA-deflam]
 
 @defform[(lambda (id id ... . id) expr)]{Bei @scheme[lambda] ist in
 dieser Sprachebene in einer Form zulässig, die es erlaubt, eine