att arbetarne på skeppsvarfven och marinens verkstäder ha nedlagt arbetet.