En Espagne, les chemins de fer en montagne, Gibraltar — Georges Demanche