Index   Zurück   Fenster schliessen	entry_barrier entry_barrier ::= when condition siehe LRM 9.5.2 wird genutzt von: entry_body