i Petersburg har fastält domen.