FUNKTION:
	int file_time(string filename)

ARGUMENTE:
	filename: der Name der Datei

BESCHREIBUNG:
	Liefert den Zeitpunkt der letzten Modifikation der Datei
	oder Null, falls die Datei nicht existiert. Der Rueckgabewert
	kann mit ctime() in ein lesbares Format gewandelt werden.

	Wenn die Datei nicht mit einem absoluten Pfad angegeben wird
	(also ohne beginnenden '/'), so wird er relativ zum 'aktuellen'
	Verzeichnis angesehen, was wahrscheinlich voellig falsch ist.

SIEHE AUCH:
	file_size(E), get_dir(E)