finnes verkställd i alla-.