diff --git a/README.md b/README.md
index 32fbed2919b2edaf1da4b4055e76c431ed5ae850..29ef479c691f9e21f08978034f568acc3136c981 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,11 @@
 [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master)
 # Various Notebooks for Teaching
 
-These notebooks are made for the ProB Jupyter kernel.
\ No newline at end of file
+These notebooks are made for the [ProB Jupyter kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel).
+[ProB](https://www3.hhu.de/stups/prob) is a validation tool for formal methods, in particular for the B method.
+At its heart is a constraint solver for logic, set theory and arithmetic.
+
+
+These notebooks were developed by the [STUPS group](https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen.html) of the [University of Düsseldorf](https://www.uni-duesseldorf.de).
+
+To view the formatted output of ProB you may have to click in the upper right corner on "Not Trusted". Once a notebook is trusted, JavaScript is enabled and can render formulas, tables and figures.
\ No newline at end of file
diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 046b0db821420f97e2618067a10a65b0f32850c9..1655a9d0164dc75281fa3625eb7d3ec51fbfa6e9 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -60,7 +60,7 @@
     "\n",
     "[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master)\n",
     "\n",
-    "Damit "
+    "Damit Jupyter formattierte Ausgabe für Formeln und Tabellen zulässt muss rechts oben in der Menuleiste auf \"Not Trusted\" drücken. Wenn das Notebook als \"Trusted\" markiert ist wird JavaScript aktiviert und die Ausgabe wird besser ausgegeben."
    ]
   },
   {