#0000
- Erweiterung um file.php mit Funktionen fuer den Zugriffe auf das
Dateisystem bereit, welche zur Nutzung in XSL-Dateien vorgesehen sind