List<E>
repräsentiert Folge von Elementen
[y0, y1,..., yn-1]
des gleichen Typs E
void add (int i, E o):
aus Liste [y0, y1,..., yi-1, yi,..., yn-1] wird Liste [y0, y1,..., yi-1, o, yi,..., yn-1].
E get (int i):
Liste ist (und bleibt) [y0, y1,..., yn-1], Resultat ist yi.
E remove (int i):
aus Liste [y0, y1,..., yi-1, yi, yi+1,..., yn-1] wird Liste [y0, y1,..., yi-1, yi+1,..., yn-1], Resultat ist yi
size, isEmpty (Deklarationen?)