har kapten Jervelin omkommit vid olyckstillfället ;hans