Crown of the Holy Roman Empire, 962; detail of the Old Testament King David