Syntax-der-Eingabe.md

@@ -62,7 +62,7 @@ Proof ::= <lemma>* <mainProof> <lemma>*
 <result_tree> ::= <tree>
 ```
 
-4. Syntax der Konfigurationsdatei:
+4. Konfigurationsdatei:
 ```
 (’Round’ <WhiteSpace> <Integer> ’\n’)?
 (<i> <WhiteSpace> <Double> ’\n’)*