11257 ) Hafstensund den 23 Juli1903