Update doc/efun/ aus Driversourcen.

Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.

Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/file_size b/doc/efun/file_size
index 59a1ec3..78673e1 100644
--- a/doc/efun/file_size
+++ b/doc/efun/file_size
@@ -3,15 +3,13 @@
 
         int file_size(string file)
 
-BESCHREIBUNG
-        Liefert die Dateigroesse in Bytes.
+DESCRIPTION
+        Returns the size of the file in bytes.
 
-        Existiert die angegebene Datei nicht oder ist fuer das aufrufende
-        Objekt bzw. den aufrufenden Benutzer nicht lesbar, so wird
-        FSIZE_NOFILE (-1) zurueckgeliefert.
+        Size FSIZE_NOFILE (-1) indicates that the file either does not exist,
+        or that it is not readable for the calling object/user.
+        Size FSIZE_DIR (-2) indicates that it is a directory.
 
-        Verzeichnisse haben die Groesse FSIZE_DIR (-2).
 
-SIEHE AUCH
-        write_file(E), write_bytes(E), read_file(E), read_bytes(E),
-        get_dir(E)
+SEE ALSO
+        write_file(E), write_bytes(E), read_file(E), read_bytes(E), get_dir(E)