Det var dock nödvändigt att hafvaen