"end of file" Deutsche bedeutung