Index   Zurück   Fenster schliessen	record_extension_part record_extension_part ::= with record_definition siehe LRM 3.9.1 wird genutzt von: derived_type_definition