Added ProductionSet

diff --git a/gentext/locale/de.xml b/gentext/locale/de.xml
index 0a54909b264a3bcd3fc2e4731abb080bdf03794d..0512596d8de3ceb4552c7ae3d0db89121b720627 100644 (file)
--- a/gentext/locale/de.xml
+++ b/gentext/locale/de.xml
@@ -87,6 +87,7 @@
 <gentext key="preface" text="Vorwort"/>
 <gentext key="Procedure" text="Prozedur"/>
 <gentext key="procedure" text="Prozedur"/>
+<gentext key="ProductionSet" text="Produktion"/>
 <gentext key="Published" text="Ver&ouml;ffentlicht"/>
 <gentext key="published" text="Ver&ouml;ffentlicht"/>
 <gentext key="Question" text="F:"/>