är formulerad , men hafvadock