For it is written in the Book of Psalms:‘Let his encampment become desolate,and may no one dwell in it.’And:‘May another take his office.’