diff --git a/doc/efun/read_file b/doc/efun/read_file
new file mode 100644
index 0000000..7f1ccfc
--- /dev/null
+++ b/doc/efun/read_file
@@ -0,0 +1,19 @@
+SYNOPSIS
+        string read_file(string file, int start, int anzahl)
+
+BESCHREIBUNG
+        Liest Zeilen aus einem File <file>. Wenn <start> angegeben ist und
+        nicht 0, wird von Beginn der Zeile <start> an gelesen; ist <start> 0
+        oder nicht angegeben, wird vom Beginn des Files gelesen.
+
+        Wenn <anzahl> nicht angegeben oder 0 ist, wird das gesamte File
+        gelesen, sonst nur <anzahl> Zeilen.
+
+        Wenn <start> ausserhalb der Groesse des Files liegt, liefert
+        read_file() anstelle eines Strings 0 zurueck.
+
+        Die max. Anzahl einzulesender Bytes (nicht Zeilen!) pro Aufruf dieser
+        Funktion betraegt LIMIT_FILE (s. query_limits()).
+
+SIEHE AUCH
+        read_bytes(E), write_file(E)