function updateHeaderStatus() {
Element.update("loginStatus", "Nicht eingeloggt");
Element.update("loginLinks", "<a href=\"https://secure.sofanet.de/customer/\">Einloggen\u00bb</a>");
}