eu besättning uppgäende till omkring 4,000 man.