Europæiske Menneskerettighedsdomstol, Den