Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 124)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 125)
@@ -132,4 +132,6 @@
                 writer.append(IvmlKeyWords.LINEFEED);
             }
+            // Readme ;-)
+            writeHelp();
             write();
         } catch (IOException e) {
@@ -138,3 +140,31 @@
     }
 
+    /**
+     * Writes a small help into the DIMACS file to explain how the model shall be interpreted.
+     * @throws IOException When writing to the {@link Writer} fails
+     */
+    private void writeHelp() throws IOException {
+        // Tristates
+        writer.append("c Explanation of tristate variables:");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c VAR VAR_Module Meaning");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c  0       0     VAR is disabled (selection is 'n')");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c  1       0     VAR is permanetely selected (selection is 'y')");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c  0       1     Illegal state");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c  1       1     VAR is selected as module (selection is 'm')");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c As a consequence, if KConfig specifies that a tristate variable shall be selected ");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c (permanetely or as a module), only the VAR variable has to be checked.");
+        writer.append(IvmlKeyWords.LINEFEED);
+        
+        // End of help -> Start of translation
+        writer.append("c Start of translation:");
+        writer.append(IvmlKeyWords.LINEFEED);
+    }
+
 }