diff --git a/README.md b/README.md
index 29ef479c691f9e21f08978034f568acc3136c981..897923474ae7f69b7af1f7b8ed5cf2268dbdd19c 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +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)
+[![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/HEAD)
 # Various Notebooks for Teaching
 
 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.
+[ProB](https://prob.hhu.de/w/) 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).
+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.hhu.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/binder/postBuild b/binder/postBuild
index 39db994d6d41416ef122ecc6ee9fdf07994537f1..8f9ad94265de1ca9e0e59c24d2cfd79b0809039d 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -13,8 +13,8 @@ then
 	# (Note: doesn't work for past snapshot versions.)
 	DOWNLOAD_URL="https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/${JAR_NAME}?job=test"
 else
-	# Release version - download from www3.
-	DOWNLOAD_URL="https://www3.hhu.de/stups/downloads/prob2-jupyter/${JAR_NAME}"
+	# Release version - download from regular server.
+	DOWNLOAD_URL="https://stups.hhu-hosting.de/downloads/prob2-jupyter/${JAR_NAME}"
 fi
 
 wget --output-document="${JAR_NAME}" "${DOWNLOAD_URL}"
diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 4b4978fd637f5d1bad67fa3eff5bbe514179a232..063c123cd732444f53faf36f20274bbdae407225 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -54,12 +54,12 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "## [ProB](https://www3.hhu.de/stups/prob) Kernel\n",
+    "## [ProB](https://prob.hhu.de/w/) Kernel\n",
     "\n",
     "\n",
     "![ProB](img/prob_logo.png)\n",
     "\n",
-    "* [ProB](https://www3.hhu.de/stups/prob) ist ein Werkzeug zur Animation, Verifikation und Visualisierung formaler Spezifikationen\n",
+    "* [ProB](https://prob.hhu.de/w/) ist ein Werkzeug zur Animation, Verifikation und Visualisierung formaler Spezifikationen\n",
     "* Unterstützt B-Spezifikationen für sicherheitskritsche Anwendungen\n",
     "* Entwicklung am STUPS Lehrstuhl\n",
     "* Grundlage: Solver für Prädikatenlogik, Mengentheorie mit Relationen, Funktionen und Arithmetik.\n",
diff --git a/info4/kapitel-0/Mengentheorie.ipynb b/info4/kapitel-0/Mengentheorie.ipynb
index 327f7097067fc1ec4b644dddf357d7555396426a..1adf4a0aaa1ec922f222b75e638c2d9750c6be5c 100644
--- a/info4/kapitel-0/Mengentheorie.ipynb
+++ b/info4/kapitel-0/Mengentheorie.ipynb
@@ -15,7 +15,7 @@
     "Hier definieren wir einige Grundlagen und Notationen die im Skript verwendet werden.\n",
     "Ein gutes Verständnis dieser Grundlagen und Notationen ist für das Verständnis des Skripts, aber auch anderer Teile der Informatik unumgänglich.\n",
     "\n",
-    "Auswertung der Formeln erfolgt mit dem [Jupyter Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) für [ProB](https://www3.hhu.de/stups/prob)\n",
+    "Auswertung der Formeln erfolgt mit dem [Jupyter Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) für [ProB](https://prob.hhu.de/w/)\n",
     "\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",