Index: /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java
===================================================================
--- /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 125)
+++ /Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 126)
@@ -146,5 +146,6 @@
     private void writeHelp() throws IOException {
         // Tristates
-        writer.append("c Explanation of tristate variables:");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c Explanation of Tristate variables:");
         writer.append(IvmlKeyWords.LINEFEED);
         writer.append("c VAR VAR_Module Meaning");
@@ -162,4 +163,18 @@
         writer.append("c (permanetely or as a module), only the VAR variable has to be checked.");
         writer.append(IvmlKeyWords.LINEFEED);
+        writer.append(IvmlKeyWords.LINEFEED);
+        
+        // String
+        writer.append("c Explanation of String, Integer, and Hex variables:");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c Variable   Meaning");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c STR        Variable STR will (0 = not) exist / be selectable");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c STR_Empty  Variable STR must (0 = not) be empty");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append("c STR=Value  Variable STR must (0 = not) have the value \"Value\"");
+        writer.append(IvmlKeyWords.LINEFEED);
+        writer.append(IvmlKeyWords.LINEFEED);
         
         // End of help -> Start of translation