Dubbelbestraffningsförbudet i artikel 4 i sjunde tilläggsprotokollet till Europakonventionen syftar till att förhindra upprepandet av ett straffrättsligt förfarande som har avslutats genom ett slutligt avgörande .