och domen verkstäldes kort derefter.