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