function show_copyright (jahr)
 {if ((event.button == 2) || (event.button == 3))
   {var sjahr = jahr.toString ();
    var leer = "                         ";
    alert ("© " + sjahr + " by Heiko Otto" + leer.substr (1, 24 - (sjahr.length / 1.6)) + "\n" + leer.substr (1, 8 + (sjahr.length / 1.6)) + "OSE Erfurt");}}