The Family of Martinius Pettersen:Information about Hennin Olsen