marin-varf hade på sednare tiden börjat träda i förnyad verksamhet med en arbetsstyrka af 1,500 man.