The Family of Martinius Pettersen:Information about Anton Arnesen