Update doc/efun/ aus Driversourcen.

Manpages der efuns aktualisiert, neue Manpages hinzugefuegt.

Change-Id: I7cc91684269ff56d1aef47d5c5e7c87f7fd531dc
diff --git a/doc/efun/object_time b/doc/efun/object_time
index 3100dbc..2db6e94 100644
--- a/doc/efun/object_time
+++ b/doc/efun/object_time
@@ -2,9 +2,9 @@
         int object_time()
         int object_time(object ob)
 
-BESCHREIBUNG
-        Liefert die Zeit, zu der das Objekt <ob> erstellt wurde. Wird <obj>
-        nicht angegeben, wird standardmaessig this_object() verwendet.
+DESCRIPTION
+        Returns the creation time of the given object.
+        Default is for this_object(), if no arg is given.
 
-SIEHE AUCH
+SEE ALSO
         program_time(E), program_name(E)