Anfang des Inhaltsbereichs

 old_index_name 

<old_index_name> ::=
  <
index_name>

Ende des Inhaltsbereichs