Description: Add German translation

--- trunk/lstrings.ml	2008-03-04 09:37:57.000000000 +0100
+++ trunk.new/lstrings.ml	2008-03-04 09:38:05.000000000 +0100
@@ -140,6 +140,65 @@
 "
   | _ -> raise Not_found
 
+let german word = match word with
+  | `paused -> "Angehalten"
+  | `tracing -> "Spurverfolgung"
+  | `true_bounce -> "Bouncing (experimentell)"
+  | `trace_length -> "Spurlnge"
+  | `disp_period -> "Bilddauer (ms)"
+  | `g -> "G"
+  | `grav_exp -> "exp. G"
+  | `diam_mult -> "Mittlerer Durchmesser"
+  | `rand_vel_mult -> "Durchschnittsgeschwindigkeit"
+  | `log_k_energy -> "log k Energie"
+  | `log_p_energy -> "log p Energie"
+  | `log_energy -> "log. Energie"
+  | `num_planets -> "Anzahl Planeten"
+  | `add_planet -> "Planet hinzufgen"
+  | `zoom_in -> "Hereinzoomen"
+  | `zoom_out -> "Herauszoomen"
+  | `iter_display -> "Iterationen/Bild"
+  | `time_step -> "Zeitschritt"
+  | `toggle_true_bounce -> "Echtes abprallen ein/aus"
+  | `toggle_bounce -> "Abprallen ein/aus"
+  | `center -> "Zentrieren"
+  | `option_dialog -> "Optionsdialog anzeigen"
+  | `change_all_colors -> "Alle Farben ndern"
+  | `quit -> "Beenden"
+  | `reset -> "Auf leeres Universum zurcksetzen"
+  | `save -> "Universum speichern"
+  | `load -> "Universum laden"
+  | `undo -> "Letzen hinzugefgten Planet lschen"
+  | `goback -> "Zuletzt hinzugefgten Planeten lschen"
+  | `toggle_pause -> "Animation pausieren/weiter"
+  | `toggle_trace -> "Spur ein/aus"
+  | `double_trace -> "Spurlnge verdoppeln"
+  | `halve_trace -> "Spurlnge halbieren"
+  | `place_random_orbital -> "Zuflligen orbitalen Planeten hinzufgen"
+  | `place_random_orbital_uni -> "Zuflligen orbitalen Planeten hinzufgen (unidirektional)"
+  | `place_random -> "Zuflligen Planeten hinzufgen"
+  | `cancel_com -> "Verfolgung des Massezentrums abschalten"
+  | `pan_up -> "Aufwrts scrollen"
+  | `pan_down -> "Abwrts scrollen"
+  | `pan_left -> "Nach links scrollen"
+  | `pan_right -> "Nach rechts scrollen"
+  | `display_help -> "Dieses Hilfefenster anzeigen"
+  | `help -> "Hilfe"
+  | `dismiss -> "Schlieen"
+  | `options -> "Optionen"
+  | `at_startup -> "Diese Hilfe beim Start anzeigen?"
+  | `random_bodies -> "Neue zufllige Planeten:"
+  | `prologue -> "Willkommen zu planets!
+Planets ist ein einfacher Simulator fr die orbitale Bewegung von
+Planeten. Eine kurze Einfhrung ist zu finden unter:
+   http://planets.homedns.org/getting_started.html
+
+Es folgt die Tastenbelegung. Eine Beschreibung der Tasten ist in der Datei
+KEYBINDINGS.txt zu finden, die mit diesem Programm ausgeliefert wird.
+
+"
+  | _ -> raise Not_found
+
 let maxsub string ~pos ~len =
   let len = min len (String.length string - pos) in
   String.sub string ~pos ~len
@@ -160,6 +219,7 @@
     match maxsub ~pos:0 ~len:2 (Sys.getenv "LANG") with 
       | "en" -> english word
       | "da" -> danish word
+      | "de" -> german word
       | _ -> english word
   ) with
       Not_found -> english word
