to download a file - German English Dictionary