Eine Echtzeitdatenbank für eine Automatisierungssystem der Netzleittechnik.