Hafstensund ( Slussen ani.