äfvenledes en docka och en vidsträckt molo i Gibraltar.