diff --git a/.gitmodules b/.gitmodules
index 62b2785..1c5b880 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -103,3 +103,6 @@
 [submodule "Matomat"]
 	path = Matomat
 	url = http://git.blubbfish.net/BlubbFish/Matomat.git
+[submodule "MateBeweis"]
+	path = MateBeweis
+	url = http://git.blubbfish.net/BlubbFish/MateBeweis.git
diff --git a/MateBeweis b/MateBeweis
new file mode 160000
index 0000000..50fc682
--- /dev/null
+++ b/MateBeweis
@@ -0,0 +1 @@
+Subproject commit 50fc6827cc9ec2be7c26d55ec4d57dd9c739283b