wid Gibraltar har här en bredd af fyra geografiska mil.