add translation strings

src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java

@@ -84,7 +84,6 @@ public class LatexCreatorConstraints implements StepVisitor {
                 result.add(generateMGU(constraintSets) + LATEX_NEW_LINE + generateFinalType());
                 numberGenerator.push();
             });
-            // todo add some helpful text for the user
         }
         if (FIRST_PREFIX.equals(prefix)) {
             result.replaceAll(content -> ALIGN_BEGIN + content + ALIGN_END);

src/main/resources/language/translation_de.properties

@@ -21,6 +21,8 @@ root.addAssumption=Typannahme hinzufügen
 root.deleteAll=Alle löschen
 root.variable=Variable
 root.type=Typ
+root.title404=404 - Seite nicht gefunden
+root.message404=Versuche /infer/<term> oder gebe deinen Lieblingsterm in das Eingabefeld ein
 root.drawer=Drawer
 root.example=Beispiele
 root.inputField=Eingabefeld