diff --git a/PyTeX b/PyTeX
index 9bf3daa..5e077e7 160000
--- a/PyTeX
+++ b/PyTeX
@@ -1 +1 @@
-Subproject commit 9bf3daa3524bc9e8009b50c8ae17294e30748dfa
+Subproject commit 5e077e77d88ec6b71ac0d39e21572fad5938b0c6
diff --git a/src/wip/proof.pydict b/src/wip/proof.pydict
new file mode 100644
index 0000000..fc49e44
--- /dev/null
+++ b/src/wip/proof.pydict
@@ -0,0 +1,20 @@
+key,English,German
+Claim,Claim,Behauptung
+claim,claim,Behauptung
+Proof,Proof,Beweis
+proof,proof,Beweis
+Proof*,Proof*,Beweis*
+proof*,proof*,Beweis*
+Proof of,Proof of,Beweis von
+proof of,proof of,Beweis von
+Proof* of,Proof* of,Beweis* von
+proof* of,proof* of,Beweis* von
+Continuation of proof,Continuation of proof,Fortsetzung des Beweises
+continuation of proof,continuation of proof,Fortsetzung des Beweises
+Continuation of proof of,Continuation of proof of,Fortsetzung des Beweises zu
+continuation of proof of,continuation of proof of,Fortsetzung des Beweises zu
+Continuation of proof*,Continuation of proof*,Fortsetzung des Beweises*
+continuation of proof*,continuation of proof*,Fortsetzung des Beweises*
+Continuation of proof* of,Continuation of proof* of,Fortsetzung des Beweises* zu
+continuation of proof* of,continuation of proof* of,Fortsetzung des Beweises* zu
+
diff --git a/src/wip/proof.pysty b/src/wip/proof.pysty
index ebbcff9..3940c66 100644
--- a/src/wip/proof.pysty
+++ b/src/wip/proof.pysty
@@ -1,8 +1,6 @@
 __HEADER__(Automatic references to theorems in proofs. Claim counters within proofs)
 
 \RequirePackage{xkeyval}
-\RequirePackage{refcount}
-\RequirePackage{translator}
 
 __LANGUAGE_OPTIONS_X__
 
@@ -12,51 +10,10 @@ __END_OPTIONS_X__
 \RequirePackage{amsthm}
 \RequirePackage{etoolbox}
 \RequirePackage{xparse}
+\RequirePackage{refcount}
+\RequirePackage{translator}
 
-\newtranslation[to = English]{Claim}{Claim}
-\newtranslation[to = German]{Claim}{Behauptung}
-\newtranslation[to = English]{claim}{claim}
-\newtranslation[to = German]{claim}{Behauptung}
-
-\newtranslation[to = English]{Proof}{Proof}
-\newtranslation[to = German]{Proof}{Beweis}
-\newtranslation[to = English]{proof}{proof}
-\newtranslation[to = German]{proof}{Beweis}
-
-\newtranslation[to = English]{Proof*}{Proof*}
-\newtranslation[to = German]{Proof*}{Beweis*}
-\newtranslation[to = English]{proof*}{proof*}
-\newtranslation[to = German]{proof*}{Beweis*}
-
-\newtranslation[to = English]{Proof of}{Proof of}
-\newtranslation[to = German]{Proof of}{Beweis von}
-\newtranslation[to = English]{proof of}{proof of}
-\newtranslation[to = German]{proof of}{Beweis von}
-
-\newtranslation[to = English]{Proof* of}{Proof* of}
-\newtranslation[to = German]{Proof* of}{Beweis* von}
-\newtranslation[to = English]{proof* of}{proof* of}
-\newtranslation[to = German]{proof* of}{Beweis* von}
-
-\newtranslation[to = English]{Continuation of proof}{Continuation of proof}
-\newtranslation[to = German]{Continuation of proof}{Fortsetzung des Beweises}
-\newtranslation[to = English]{continuation of proof}{continuation of proof}
-\newtranslation[to = German]{continuation of proof}{Fortsetzung des Beweises}
-
-\newtranslation[to = English]{Continuation of proof of}{Continuation of proof of}
-\newtranslation[to = German]{Continuation of proof of}{Fortsetzung des Beweises zu}
-\newtranslation[to = English]{continuation of proof of}{continuation of proof of}
-\newtranslation[to = German]{continuation of proof of}{Fortsetzung des Beweises zu}
-
-\newtranslation[to = English]{Continuation of proof*}{Continuation of proof*}
-\newtranslation[to = German]{Continuation of proof*}{Fortsetzung des Beweises*}
-\newtranslation[to = English]{continuation of proof*}{continuation of proof*}
-\newtranslation[to = German]{continuation of proof*}{Fortsetzung des Beweises*}
-
-\newtranslation[to = English]{Continuation of proof* of}{Continuation of proof* of}
-\newtranslation[to = German]{Continuation of proof* of}{Fortsetzung des Beweises* zu}
-\newtranslation[to = English]{continuation of proof* of}{continuation of proof* of}
-\newtranslation[to = German]{continuation of proof* of}{Fortsetzung des Beweises* zu}
+\usedictionary{translator-proof-dictionary}
 
 %%Give claim an own counter and let it reset at each proof
 %See also at: