Mit file() kann man eine komplette Datei (filename) zeilenweise in ein Array
einlesen. Das Zeilenumbruchzeichen am Ende jeder Zeile wird als letztes Zeichen
n das entsprechende Array-Element �bernommen.
Wird der optionale Parameter (use_include_path) auf 1 gesetzt, so wird auch
innerhalb des Include-Pfads (wird in der php.ini bestimmt) nach der Datei
gesucht.