och maskinarbetare är således nu , sedan arbetet återupptagits , cirka 650 större , än det var den 14 juli.