<< previous pic. The El Torcal ridge on the left, Puerto de El Torcal on its right 1st pic. >>