Must do:
	Literaturangaben komplettieren

Evtl.:
	Beschreiben, dass Aktivierung/Deaktivierung prioritaet hat bei Ereigniseditor
	Ereigniseintritt bei Lamport und Vektorzeiten?	
	Helper:
		Print warning if not activated protocol while doing a protocol request
	Splash screen
	Simulationen beliebig lang machen
	KeyEvent Manager
	Loggingfenster soll nur Lamport/Vektorzeit anzeigen, wenn ausgewaehlt
Evtl. nicht:
	Protocols:
		Waehlermengen nach Maekawa?
		NFS
		AFS
		Systemschnitte?
		Middleware-Schicht?
		Ereignisse, die Prozessvariablen aendern
		Bedingte Ereignisse