unnötige header entfernt!
Petrinetz Beispiel vor version