diff --git a/collects/deinprogramm/DMdA-vanilla.rkt b/collects/deinprogramm/DMdA-vanilla.rkt
index ed58abfc3e..3bdbf6d3a9 100644
--- a/collects/deinprogramm/DMdA-vanilla.rkt
+++ b/collects/deinprogramm/DMdA-vanilla.rkt
@@ -18,3 +18,4 @@
 		  define-record-procedures-2
 		  symbol? string->symbol symbol->string
 		  apply))
+
diff --git a/collects/deinprogramm/scribblings/DMdA-assignments.scrbl b/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
index b1eb9fcfda..d36a59b04e 100644
--- a/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
+++ b/collects/deinprogramm/scribblings/DMdA-assignments.scrbl
@@ -32,6 +32,8 @@ Abstraktion mit Zuweisungen} to go with the German textbook
 
 @section{@scheme[define-record-procedures-2]}
 
+@declare-exporting[deinprogramm/DMdA]
+
 @defform[(define-record-procedures-2 t c p (field-spec ...))]{
 Die @scheme[define-record-procedures-2]-Form ist eine Definition für
 einen neuen Record-Typ. Dabei ist @scheme[t] der Name der Record-Signatur,
@@ -43,6 +45,8 @@ Mutators sein.
 
 @section{@scheme[define-record-procedures-parametric-2]}
 
+@declare-exporting[deinprogramm/DMdA]
+
 @defform[(define-record-procedures-parametric-2 t cc c p (field-spec1 ...))]{
 Diese Form ist wie @scheme[define-record-procedures-2], nur parametrisch 
 wie @scheme[define-record-procedures-parametric].  Außerdem
@@ -53,6 +57,8 @@ Konstruktion überprüft und nicht erst beim Aufruf eines Selektors.
 
 @section{@scheme[begin]}
 
+@declare-exporting[deinprogramm/DMdA]
+
 @defform[(begin expr expr ...)]{
 Bei der Auswertung eines @scheme[begin]-Ausdrucks werden nacheinander
 die Operanden ausgewertet. Der Wert des letzten Ausdrucks wird der
@@ -61,6 +67,8 @@ Wert des @scheme[begin]-Ausdrucks.
 
 @section{@scheme[set!]}
 
+@declare-exporting[deinprogramm/DMdA]
+
 @defform[(set! id expr)]{
 Ein @scheme[set!]-Ausdruck ist eine Zuweisung, und ändert den Inhalt
 der Zelle, die an @scheme[id] gebunden ist, auf den Wert von @scheme[expr].
@@ -68,6 +76,8 @@ der Zelle, die an @scheme[id] gebunden ist, auf den Wert von @scheme[expr].
 
 @section[#:tag "assignments-signatures"]{Signaturen}
 
+@declare-exporting[deinprogramm/DMdA]
+
 @defidform[unspecific]{
 Signatur für unspezifische Werte, die unwichtig sind - typischerweise für die 
 Rückgabewerte von Operationen, die nur Seiteneffekte haben wie @scheme[set!]
diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
index 5037758174..e0589adfde 100644
--- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
+++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl
@@ -440,4 +440,5 @@ Eigenschaft: @scheme[(==> c p)] legt fest, daß die Eigenschaft
 
 @section[#:tag "beginner-prim-ops"]{Primitive Operationen}
 
+@declare-exporting[deinprogramm/DMdA-beginner]
 @prim-op-defns['(lib "DMdA-beginner.ss" "deinprogramm") #'here '()]
diff --git a/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl b/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl
index 4c3e2aa399..6eb983013d 100644
--- a/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl
+++ b/collects/deinprogramm/scribblings/DMdA-vanilla.scrbl
@@ -11,7 +11,7 @@ This is documentation for the language level @italic{Die Macht der
 Abstraktion} to go with the German textbook @italic{Die Macht der
 Abstraktion}.
 
-@declare-exporting[deinprogramm/DMdA-vanilla]
+@declare-exporting[deinprogramm/DMdA-vanilla #:use-sources (deinprogramm/DMdA)]
 
 @schemegrammar*-DMdA[
 #:literals ()
diff --git a/collects/deinprogramm/tests/test-docs-complete.rkt b/collects/tests/deinprogramm/test-docs-complete.rkt
similarity index 81%
rename from collects/deinprogramm/tests/test-docs-complete.rkt
rename to collects/tests/deinprogramm/test-docs-complete.rkt
index 60b4c7afc0..36cae6cfde 100644
--- a/collects/deinprogramm/tests/test-docs-complete.rkt
+++ b/collects/tests/deinprogramm/test-docs-complete.rkt
@@ -8,14 +8,15 @@
 ;(check-docs (quote deinprogramm/line3d))
 ;(check-docs (quote deinprogramm/image))
 ;(check-docs (quote deinprogramm/DMdA))
-;(check-docs (quote deinprogramm/DMdA-vanilla))
 ;(check-docs (quote deinprogramm/DMdA-vanilla-reader))
 ;(check-docs (quote deinprogramm/DMdA-reader))
-;(check-docs (quote deinprogramm/DMdA-beginner))
 ;(check-docs (quote deinprogramm/DMdA-beginner-reader))
-;(check-docs (quote deinprogramm/DMdA-assignments))
 ;(check-docs (quote deinprogramm/DMdA-assignments-reader))
-(check-docs (quote deinprogramm/DMdA-advanced) #:skip #rx"^#%")
 ;(check-docs (quote deinprogramm/DMdA-advanced-reader))
 ;(check-docs (quote deinprogramm/define-record-procedures))
 ;(check-docs (quote deinprogramm/convert-explicit))
+
+(check-docs (quote deinprogramm/DMdA-beginner) #:skip #rx"^#%")
+(check-docs (quote deinprogramm/DMdA-vanilla) #:skip #rx"^#%")
+(check-docs (quote deinprogramm/DMdA-advanced) #:skip #rx"^#%")
+(check-docs (quote deinprogramm/DMdA-assignments) #:skip #rx"^#%")