--- german.ruleset.orig	Tue Mar 21 12:26:18 2000
+++ german.ruleset	Fri Jun 30 03:16:16 2000
@@ -2,8 +2,10 @@
 
 name=_("German")
 plural=_("?plural:Germans")
-leader="Frederick", "Otto", "Wilhelm", "Bismarck", "Hitler"
-leader_sex="Male", "Male", "Male", "Male", "Male"
+leader="Frederick", "Otto", "Wilhelm", "Bismarck", "Hitler",
+       "Barbarosa", "Luther", "Müntzer"
+leader_sex="Male", "Male", "Male", "Male", "Male",
+           "Male", "Male", "Male"
 flag="f.germany"
 flag_alt = "-"
 city_style = "European"
@@ -38,5 +40,3 @@
   "Oldenburg", "Weimar", "Freiburg", "Baden-Baden", "Mannheim", "Kiel",
   "Solingen", "Elberfeld", "Barmen", "Essen", "Dortmund", "Duisburg",
   "Düsseldorf", "Gelsenkirchen", "Bochum", "Saarbrücken", "Ludwigshafen"
-
-