har blifvit utnämnd till guvernör i Gibraltar.