gravi—at grava; at gera eitt hol í jørðini við spaka o.l.