Index   Zurück   Fenster schliessen	protected_body_stub protected_body_stub ::= protected body defining_identifier is separate; siehe LRM 10.1.3 wird genutzt von: body_stub