Rechtsgevolgen voor de nationale procedure na een veroordeling door het EHRM