vice-amiral Machiclsen hade aflidit.