haavelmo trygve