Bausteine: Info -e BS-Info: "Copyright" menu item BS-Info: "Maxima" menu item BS-Info: "Help" menu item -PDF BS-Info: "Help" menu item -Online BS-Info: "GGU on the web" menu item BS-Info: "GGU support" menu item BS-Info: "What's new?" menu item BS-Info: "Language preferences" menu item
