När det sedan gäller att få domen verkställd i en annan konventionsstat är förfarandet mer formalistiskt .