[Dune] Double label in grid paper

[Oliver Sander]

Lieber Paperschreiber!

Das Label leafentities hat sich zweimal in unseren Text gemogelt.

sander at lola:/daten/lola/users/sander/GitterPapier$ cvs annotate gridmodule.tex | grep -n leafentities

Annotations for gridmodule.tex
***************
437:1.13         (robertk  31-May-06): \label{leafentities}
459:1.25         (peter    24-Jul-06): \label{leafentities}
1011:1.25         (peter    24-Jul-06): Definition \ref{leafentities}) it is not sufficient to define an index

Und ich weiß nicht so recht wie es richtig sein sollte.  Könnte
da mal jemand (d.h. am besten natürlich Robert oder Peter) nachschauen?

Danke + Grüße,
Oliver

************************************************************************
* Oliver Sander                ** email: sander at mi.fu-berlin.de        *
* Freie Universität Berlin     ** phone: + 49 (30) 838 75217           *
* Institut für Mathematik II   ** URL  : page.mi.fu-berlin.de/~sander  *
* Arnimallee 6                 ** -------------------------------------*
* 14195 Berlin, Germany        ** Member of MATHEON (www.matheon.de)   *
************************************************************************