The port of Amsterdam : a short account of the docks, the harbour works and trading establishment of the city of amsterdam