efter att , som det uppgifves , hafvalemnat