konsul8befattningen i Gibraltar , hvars distrikt utgöres af staden Gibraltar,