');
var zahl = 1;
while ( zahl <= index_max)
{
document.writeln ('' +
'' + begrif[zahl] + '
');
zahl = zahl + 1;
} // Ende der Wiederhol-Schleife
//document.writeln ('' +
//'§§ Legende(caption)
');
}// Ende der Funktion