Holst-Jensen, Arne