diff --git a/doc/efun/time b/doc/efun/time
index d9e9ed2..ab3ffb7 100644
--- a/doc/efun/time
+++ b/doc/efun/time
@@ -1,21 +1,20 @@
 SYNOPSIS
         int time()
 
-BESCHREIBUNG
-        Liefert die Anzahl Sekunden, die seit dem 01. Januar 1970,
-        00:00:00 GMT verstrichen sind.
+DESCRIPTION
+        Return number of seconds ellapsed since 1. Jan 1970, 0.0:0 GMT
 
-        Die Zeitangabe basiert auf der Systemzeit des Hosts; der Driver
-        stellt jedoch sicher, dass das Resultat von time() monoton ansteigt
-        (also immer nur zu hoeheren Werten wechselt).
+        The time is based on the time provided by the host system, however,
+        the driver makes sure that the result of time() is monotonically
+        increasing (ie. changes only to bigger numbers).
 
-        Das Resultat von time() veraendert sich nicht waehrend dem Abarbeiten
-        eines Kommandos.
+        The result of time() does not change during the course of a command
+        execution.
 
-BEISPIELE
-        Um das aktuelle Datum und die aktuelle Zeit anzuzeigen:
+EXAMPLES
+        write(ctime(time())+"\n");
 
-            write(ctime(time())+"\n");
+        Print out the current date and time.
 
-SIEHE AUCH
+SEE ALSO
         ctime(E), gmtime(E), localtime(E), utime(E)