en mängd arbetare och flere embetsmän från marinens skeppsbygnadsdepartement.