var messages=new Array();
messages[0]="  ";
messages[1]="Seite als PDF";
messages[2]="Seite mailen";
messages[3]="Seite drucken";
messages[4]="Englische Version";

// Publikations-DB
messages[5]="Zitat verbergen";
messages[6]="Zitat anzeigen";