var messages=new Array();
messages[0]="  ";
messages[1]="Page as PDF";
messages[2]="Mail page";
messages[3]="Print page";
messages[4]="German Version";

// Publikations-DB
messages[5]="Hide Citation";
messages[6]="Show Citation";