GGU-SHRINKAGE: "Save as" menu item

You can save data entered during program use to an existing file or to a new file, i.e. using a new file name. For reasons of clarity, it makes sense to use ".ggu_sgr" as file suffix, as this is the suffix used in the file requester box for the menu item "File/Load". If you choose not to enter an extension when saving, ".ggu_sgr" will be used automatically.