Enligt domstolen talar ordalydelsen i tilläggsprotokollet – och även i rättighetsstadgan – för att skyddet mot dubbla förfaranden och dubbla straff träder in när det första avgörandet vinner laga kraft , inte dessförinnan .