Otto Johan Hennig-Olsen er død