diff --git a/doc/efun/ctime b/doc/efun/ctime
new file mode 100644
index 0000000..8db61f8
--- /dev/null
+++ b/doc/efun/ctime
@@ -0,0 +1,22 @@
+SYNOPSIS
+     string ctime(int clock);
+     string ctime(int* uclock);
+
+BESCHREIBUNG
+     Interpretiert das Argument <clock> als Anzahl Sekunden seit dem
+     01.JAN.1970, 00:00 Uhr und konvertiert dieses in einen ansehnlichen
+     String, der Datum und Zeit enthaelt. Wenn <clock> nicht angegeben
+     wird, wird time() verwendet.
+
+     Die zweite Form entspricht der ersten, ausser dass das Argument ein
+     Array mit zwei Integer Elementen ist. Das erste Element int[0] gibt
+     die Anzahl Sekunden seit dem 01.JAN.1970 an, das zweite Element
+     int[1] die Anzahl Millisekunden innerhalb dieser Sekunde.
+
+BEISPIEL
+     write(ctime()+"\n");
+
+     Dies gibt etwas aus wie "Sun Oct 26 19:28:30 2003".
+
+SIEHE AUCH
+     dtime(E), gmtime(E), localtime(E), strftime(E), time(E), utime(E)