Men ännu återstod en liten formalitet ,som