diff --git a/binder/apt.txt b/binder/apt.txt
index 0ee57b9e4780e76ceaf78f2e9c61c392d047ce85..9d19d52bba413508f8f4c8874100f87f68b5031b 100644
--- a/binder/apt.txt
+++ b/binder/apt.txt
@@ -1,6 +1,2 @@
 default-jre-headless
 graphviz
-inkscape
-texlive-fonts-recommended
-texlive-generic-extra
-texlive-xetex
diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 04aabe961b8dc2ef756938696152a5b2165a715b..7ac1ca5af7d43b983235bd1c4788fc28aba3b593 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -68,7 +68,9 @@
     "\n",
     "\n",
     "Um diese Notebooks zu starten kann man entweder selber Jupyter und den [ProB Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) installieren.\n",
-    "Man kann aber auch die Notebooks vom Browser aus [mit Binder starten](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master) (das dauert besonders beim ersten Mal etwas länger).\n",
+    "Man kann aber auch die Notebooks vom Browser aus mit Binder starten (das dauert besonders beim ersten Mal etwas länger):\n",
+    "\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 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."
    ]
diff --git a/info4/kapitel-0/Mengentheorie.ipynb b/info4/kapitel-0/Mengentheorie.ipynb
index f7617977e5aeb88e26b1f7cea4d73a606686c96b..cd73a13428dc225e0be1c84c57601b035653c93b 100644
--- a/info4/kapitel-0/Mengentheorie.ipynb
+++ b/info4/kapitel-0/Mengentheorie.ipynb
@@ -17,7 +17,9 @@
     "\n",
     "\n",
     "Um dieses Notebook zu starten kann man entweder selber Jupyter und den [ProB Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) installieren.\n",
-    "Man kann aber auch die Notebooks vom Browser aus [mit Binder starten](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master?filepath=info4%2Fkapitel-0%2FMengentheorie.ipynb) (das dauert besonders beim ersten Mal etwas länger)."
+    "Man kann aber auch die Notebooks vom Browser aus mit Binder starten (das dauert besonders beim ersten Mal etwas länger):\n",
+    "\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?filepath=info4%2Fkapitel-0%2FMengentheorie.ipynb)"
    ]
   },
   {