Gibraltars sund och härför användt en tid af sjut ton timmar.