diff --git a/collects/deinprogramm/DMdA.rkt b/collects/deinprogramm/DMdA.rkt
index 55d0a26762..7ff0ab7976 100644
--- a/collects/deinprogramm/DMdA.rkt
+++ b/collects/deinprogramm/DMdA.rkt
@@ -1003,7 +1003,7 @@
 			     ((?id ?signature)
 			      (identifier? #'?id)
 			      (with-syntax ((?error-call
-					     (syntax/loc #'?signature (error "Vertrag hat keinen Generator"))))
+					     (syntax/loc #'?signature (error "Signatur hat keinen Generator"))))
 				#'(?id
 				   (or (signature-arbitrary (signature ?signature))
 				       ?error-call))))
diff --git a/collects/deinprogramm/define-record-procedures.scm b/collects/deinprogramm/define-record-procedures.scm
index 4837228123..0b75e2c76f 100644
--- a/collects/deinprogramm/define-record-procedures.scm
+++ b/collects/deinprogramm/define-record-procedures.scm
@@ -406,7 +406,7 @@ prints as:
 
 	 (check-for-id!
 	  (syntax ?signature-constructor-name)
-	  "Vertrags-Konstruktor-Name ist kein Bezeichner")
+	  "Signaturkonstruktor-Name ist kein Bezeichner")
 
          (check-for-id!
           (syntax ?constructor)
@@ -527,7 +527,7 @@ prints as:
 
 	 (check-for-id!
 	  (syntax ?signature-constructor-name)
-	  "Vertrags-Konstruktor-Name ist kein Bezeichner")
+	  "Signaturkonstruktor-Name ist kein Bezeichner")
 
 	 (check-for-id!
 	  (syntax ?constructor)
diff --git a/collects/deinprogramm/signature/module-begin.rkt b/collects/deinprogramm/signature/module-begin.rkt
index 321f99a3bd..cafb51ea1c 100644
--- a/collects/deinprogramm/signature/module-begin.rkt
+++ b/collects/deinprogramm/signature/module-begin.rkt
@@ -50,14 +50,14 @@
 						     #'?id))
 			       (when (bound-identifier-mapping-get table #'?id (lambda () #f))
 				 (raise-syntax-error #f
-						     "Zweite Vertragsdefinition für denselben Namen."
+						     "Zweite Signaturdeklaration für denselben Namen."
 						     maybe))
 			       (bound-identifier-mapping-put! table #'?id #'?cnt)
 			       #f))
 			    ((: ?id)
-			     (raise-syntax-error #f "Bei dieser Vertragsdefinition fehlt der Vertrag" maybe))
+			     (raise-syntax-error #f "Bei dieser Signaturdeklaration fehlt die Signatur" maybe))
 			    ((: ?id ?cnt ?stuff0 ?stuff1 ...)
-			     (raise-syntax-error #f "In der :-Form werden ein Name und ein Vertrag erwartet; da steht noch mehr"
+			     (raise-syntax-error #f "In der :-Form werden ein Name und eine Signatur erwartet; da steht noch mehr"
 						 (syntax/loc #'?stuff0
 							     (?stuff0 ?stuff1 ...))))
 			    (_ #t)))
@@ -79,8 +79,8 @@
 					     (lambda (id thing)
 					       (when thing
 						 (if (identifier-binding id)
-						     (raise-syntax-error #f "Zu einer eingebauten Form kann kein Vertrag erklärt werden" id)
-						     (raise-syntax-error #f "Zu diesem Vertrag gibt es keine Definition" id)))))
+						     (raise-syntax-error #f "Zu einer eingebauten Form kann keine Signatur deklariert werden" id)
+						     (raise-syntax-error #f "Zu dieser Signatur gibt es keine Definition" id)))))
 	  #'(begin))
 	 (else
 	  (let ((expanded (car exprs)))
diff --git a/collects/deinprogramm/signature/signature-syntax.rkt b/collects/deinprogramm/signature/signature-syntax.rkt
index ba41aea157..899997aa92 100644
--- a/collects/deinprogramm/signature/signature-syntax.rkt
+++ b/collects/deinprogramm/signature/signature-syntax.rkt
@@ -43,7 +43,7 @@
 			       (with-syntax ((?raise
 					      (syntax/loc 
 					       #'?exp
-					       (error 'signatures "hier kein Vertrag zulässig, nur normaler Wert"))))
+					       (error 'signatures "hier keine Signatur zulässig, nur normaler Wert"))))
 				 #'(when (signature? ?temp)
 				     ?raise))))
 			   (syntax->list #'((?temp ?exp) ...)))))
@@ -59,14 +59,18 @@
 		   (?name name)
 		   (?signature-expr (parse-signature #f #'?signature)))
        #'(make-list-signature '?name ?signature-expr ?stx)))
+    ((list ?signature1 ?rest ...)
+     (raise-syntax-error #f
+			 "list-Signatur darf nur einen Operanden haben."
+			 (syntax ?signature1)))
     ((list-of ?signature)
      (with-syntax ((?stx (phase-lift stx))
 		   (?name name)
 		   (?signature-expr (parse-signature #f #'?signature)))
        #'(make-list-signature '?name ?signature-expr ?stx)))
-    ((list ?signature1 ?rest ...)
+    ((list-of ?signature)
      (raise-syntax-error #f
-			 "list-Vertrag darf nur einen Operanden haben."
+			 "list-of-Signatur darf nur einen Operanden haben."
 			 (syntax ?signature1)))
     ((?arg-signature ... -> ?return-signature)
      (with-syntax ((?stx (phase-lift stx))
@@ -78,7 +82,7 @@
        #'(make-procedure-signature '?name (list ?arg-signature-exprs ...) ?return-signature-expr ?stx)))
     ((?arg-signature ... -> ?return-signature1 ?return-signature2 . ?_)
      (raise-syntax-error #f
-			 "Nach dem -> darf nur ein Vertrag stehen."
+			 "Nach dem -> darf nur eine Signatur stehen."
 			 (syntax ?return-signature2)))
     ((at ?loc ?sig)
      (with-syntax ((?sig-expr (parse-signature #f #'?sig)))
@@ -142,7 +146,7 @@
 			       ?stx))))
     (else
      (raise-syntax-error 'signature
-			 "ungültiger Vertrag" stx))))
+			 "ungültige Signatur" stx))))
 
 ; regrettable
 (define signature/signature
diff --git a/collects/deinprogramm/signature/signature.rkt b/collects/deinprogramm/signature/signature.rkt
index 6b851db4a6..2551a515c7 100644
--- a/collects/deinprogramm/signature/signature.rkt
+++ b/collects/deinprogramm/signature/signature.rkt
@@ -263,8 +263,8 @@
 		    (make-exn:fail:contract
 		     (string->immutable-string
 		      (if name
-			  (format "rekursiver Vertrag: ~a" name)
-			  "rekursiver Vertrag"))
+			  (format "rekursive Signatur: ~a" name)
+			  "rekursive Signatur"))
 		     (current-continuation-marks))))
 		  (else
 		   (check-signature (car alternative-signatures)