pu höjden af Gibraltar.