Den engelska originaltexten anger att : ”