Halvorsén , f. Holmdorff ,72