Till detta ändamål måste de hafvaen