Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/read_bytes b/doc/efun/read_bytes
new file mode 100644
index 0000000..95cabbd
--- /dev/null
+++ b/doc/efun/read_bytes
@@ -0,0 +1,19 @@
+SYNOPSIS
+        string read_bytes(string file, int start, int anzahl)
+
+BESCHREIBUNG
+        Liest eine bestimmte Anzahl Bytes aus dem File <file>. Wenn <start>
+        nicht angegeben oder 0 ist, wird das File von Beginn weg gelesen,
+        sonst vom Byte mit der Nummer <start>. Wenn <start> negativ ist,
+        werden die Bytes vom Ende des Files her gezaehlt. <anzahl> ist die
+        Anzahl Bytes, die gelesen werden sollen. Werte von 0 oder negative
+        Werte sind zwar moeglich, aber wenig sinnvoll.
+
+        Wenn <start> ausserhalb der Groesse des Files liegt, liefert
+        read_byte() anstelle eines Strings 0 zurueck.
+
+        Die max. Anzahl einzulesender Bytes pro Aufruf dieser Funktion
+        betraegt LIMIT_BYTE (s. query_limits()).
+
+SIEHE AUCH
+        read_file(E), write_bytes(E), write_file(E)