function gotVerifiedEmail(assertion) {
    if (assertion) {
        window.location.href = "login.php?assertion="+assertion;
    } else {
        alert("Bei der Anmeldung mit BrowserID ist ein Fehler aufgetreten, versuchen Sie es erneut.");
    }
}