Domen innehöll , att Mario Salmon skulle afrättasi