DFF file extension - What is a .DFF format, and how to open it?