diff --git a/Satzung%2Fwiki2tex.awk.mw b/Satzung%2Fwiki2tex.awk.mw
new file mode 100644
index 00000000..531e86e0
--- /dev/null
+++ b/Satzung%2Fwiki2tex.awk.mw
@@ -0,0 +1 @@
+#REDIRECT [[Wiki2tex.awk]]