function Kopfmenue()
{
  document.write('<ul>');
  document.write('<li><a href="index.html"> Startseite </a></li>');
  document.write('<li><a href="Aktuelles.html"> Aktuelles </a></li>');
  document.write('<li><a href="Seitenuebersicht.html"> Seiten&uuml;bersicht </a></li>');
  document.write('<li><a href="English/index.html"> English </a></li>');
  document.write('</ul>');
}