Index: /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java
===================================================================
--- /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java	(revision 368)
+++ /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java	(revision 369)
@@ -22,4 +22,18 @@
  */
 public class DimacsWriterTest {
+    private static final String HELP = "\r\nc Explanation of Tristate variables:\r\n"
+        + "c VAR VAR_Module Meaning\r\n"
+        + "c  0       0     VAR is disabled (selection is 'n')\r\n"
+        + "c  1       0     VAR is permanetely selected (selection is 'y')\r\n"
+        + "c  0       1     Illegal state\r\n"
+        + "c  1       1     VAR is selected as module (selection is 'm')\r\n"
+        + "c As a consequence, if KConfig specifies that a tristate variable shall be selected \r\n"
+        + "c (permanetely or as a module), only the VAR variable has to be checked.\r\n\r\n"
+        + "c Explanation of String, Integer, and Hex variables:\r\n"
+        + "c Variable   Meaning\r\n"
+        + "c STR        Variable STR will (0 = not) exist / be selectable\r\n"
+        + "c STR_Empty  Variable STR must (0 = not) be empty\r\n"
+        + "c STR=Value  Variable STR must (0 = not) have the value \"Value\"\r\n\r\n"
+        + "c Start of translation:\r\n";
 
     /**
@@ -68,4 +82,5 @@
         Assert.assertEquals("c A test-file" + IvmlKeyWords.LINEFEED
             + "c Version 1.0" + IvmlKeyWords.LINEFEED
+            + HELP
             + "c 1 a" + IvmlKeyWords.LINEFEED
             + "c 2 b" + IvmlKeyWords.LINEFEED