"end of file eof" in German end of file /EOF/ Dateiende Detailed translations for "end of file eof" end of file /EOF/ end of file /EOF/ das Dateiende{neuter}