Update doc/efun/ aus Driversourcen.

Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.

Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/raise_error b/doc/efun/raise_error
index e063420..fc25c00 100644
--- a/doc/efun/raise_error
+++ b/doc/efun/raise_error
@@ -1,18 +1,16 @@
 SYNOPSIS
         void raise_error(string arg)
 
-BESCHREIBUNG
-        Bricht die Ausfuehrung des laufenden Programms ab. Wenn das Programm
-        durch catch() aufgerufen wurde, liefert dieses catch() <arg> als
-        Fehlercode, sonst wird <arg> als Fehlermeldung ausgegeben.
+DESCRIPTION
+        Abort execution. If the current program execution was
+        initiated by catch(), that catch expression will return arg as
+        error code, else the arg will printed as error message.
+        
+        This is very similar to throw(), but while throw() is intended to be
+        called inside catch(), raise_error() can be called anywhere.
+        Furthermore, raise_error() includes the complete error handling
+        with generation of a stack backtrace, making it a very expensive
+        function.
 
-        raise_error() gleicht in der Funktion throw(), aber waehrend throw()
-        aus catch() heraus aufgerufen werden soll, kann raise_error() von
-        ueberall her aufgerufen werden.
-
-        Da raise_error() sich wie andere 'echte' Laufzeitfehler verhaelt,
-        einschliesslich der Erzeugung eines Stack Backtraces, ist diese
-        Funktion sehr zeitintensiv.
-
-SIEHE AUCH
+SEE ALSO
         catch(E), throw(E)