Rock of Gibraltar, Spain.