end-of-file mark - German English Dictionary