Puerto Deportivo Small Boat Harbour, (detalle), Gibraltar