public Stream Download (DBWorkFileView file) { return new DBFileStream (DBFile_Extensions.Create (this, file.file_id), this); }