Det var norsk-iranske Hamid Amini som blei drepen i eit luftangrep i Iran laurdag. Han var i landet på foreldrepermisjon, opplyser arbeidsgjevaren DNV.