Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/shutdown b/doc/efun/shutdown
new file mode 100644
index 0000000..46ef0af
--- /dev/null
+++ b/doc/efun/shutdown
@@ -0,0 +1,18 @@
+SYNOPSIS
+ void shutdown();
+ void shutdown(int exit_code);
+
+BESCHREIBUNG
+ Faehrt das Mud herunter. Diese Funktion darf nie verwendet werden!
+ Wenn das Mud heruntergefahren werden muss, so hat dies ueber den
+ Shutdownbefehl zu erfolgen.
+
+ Ist ein <exit_code> Argument gegeben, wird sein Wert als der
+ Unix-Resultatwert verwendet; andernfalls wird 0 verwendet.
+
+ Man fragt sich nun vielleicht, wozu es dann diese Funktion gibt,
+ wenn man sie nicht verwenden darf. Sorry, das darf hier nicht
+ bekannt gegeben werden. Streng geheim.
+
+SIEHE AUCH
+ break_point(E), swap(E)