Artikel 7:
De rechters wier ambtsuitoefening vóór het verstrijken van hun mandaat eindigt, worden voor de verdere duur van het mandaat vervangen.
De rechters wier ambtsuitoefening vóór het verstrijken van hun mandaat eindigt, worden voor de verdere duur van het mandaat vervangen.