Rotterdam den 20 juli Arbetarna vid hamnen härstädes hafva i dag nästan fulltaligt återupptagit arbetet Strejken anses därförafslutad