Info menu

• "Copyright" menu item
• "Maxima" menu item
• "Help" menu item
• "Mini-Help" menu item
• "GGU on the web" menu item
• "GGU support" menu item
• "What's new?" menu item
• Menüeintrag "Arbeitsprotokoll"
• "Language preferences" menu item