dito Halvorsen m . famil ].