The flow of Atlantic water through the Strait of Gibraltar