function datum() {return("aktualisiert am   15.08.2011");}