tokens: L' elezione , che tuttavia non venne riconosciuta dal papa Gregorio IX , comprendeva non solo la nomina a re , ma anche la successione sul trono imperiale , secondo la formula " " in Romanorum regem et in futurum imperatorem nostrum post obitum patris habendum " " .