Neue Konsolenoptionen   Sie können im Fenster Optionen nun ein Datum und eine Uhrzeit zum Herunterfahren des Datenbankservers festlegen. Wählen Sie im Menü Datei die Optionsfolge Optionen » Konsole.