I detta protokolls 4:de § bestämdes ,att