Page size + margins menu

• "Page size and margins" menu item
• "Auto-resize" menu item
• Menüeintrag "Datums-Koordinaten neu berechnen"
• "Auto-resize measured data axis" menu item
• "Manual resize (editor)" menu item
• "Manual resize (mouse)" menu item