function seiteAktivieren(nr)
{
   document.getElementById('punkt').className = 'punkt' + nr;
}