Update doc/efun/ aus Driversourcen.

Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.

Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/random b/doc/efun/random
index d3f876f..a744312 100644
--- a/doc/efun/random
+++ b/doc/efun/random
@@ -1,16 +1,15 @@
 SYNOPSIS
         int random(int n)
 
-BESCHREIBUNG
-        Liefert eine Zufallszahl im Bereich [0 .. n-1].
+DESCRIPTION
+        Returns a number in the random range [0 .. n-1].
 
-        Dieser Zufallszahlgenerator liefert eine gleichmaessige Verteilung von
-        Zahlen ueber einen grossen Bereich, ohne Wiederholung von Sequenzen
-        waehrend einer langen Zeit. Der Nachteil dieser (wuenschenswerten)
-        Qualitaeten ist, dass wenn viele Zahlen in einem kleinen Bereich in
-        kurzer Zeit generiert werden, einige Zahlen sehr viel haeufiger
-        auftreten als andere.
+        The random number generator is proven to deliver an equal distribution
+        of numbers over a big range, with no repetition of number sequences
+        for a long time. The downside of these (desirable) qualities is that
+        when generating numbers in a small range over short time, certain
+        numbers will appear far more often than others.
 
-        Die einzige Loesung hierzu ist eine spezielle simul_efun, die geeignete
-        Schritte unternimmt, um eine gleichmaessige Verteilung ueber kleine
-        Bereiche in kurzen Zeitraeumen zu erreichen.
+        The only solution is the implementation of a special simul_efun which
+        takes special steps to implement an equal distribution over small
+        ranges and short times.