habe gerade das skript studiert und versucht mir diese beiden
relationen zu veranschaulichen, habe das aber nicht ganz verstanden.

ich habe das so verstanden, dass das tau bei initial-verzweigungssimilar
etwas "initiert". aber ich habe das noch nicht ganz auf dem schirm.
danke für alle hilfsbereiten erklärungen.