I sammanhang härmed hafwatullsatserna