var sprachliste = new Array("/en/", "  english", "/de/", "  deutsch", "/fr/", "  français", "/es/", "  espaņol");

function sprachauswahl()
{
  document.write(' ');
}