The shipyard of the Amsterdam admiralty