Maybe a stupid question but
downloading Quicktime streams with HiDownload results in
three files with different extensions.
Please tell me what sort of file is that with the extension: .hdr
and what kind is that with: .@@@ ???