end-of-file character - German English Dictionary