Britain seized Gibraltar in the name of the Hapsburg claimant and retained it when the war was over.
Gibraltar was taken by Britain in honor of the Hapsburgs.
Automation was not fully in place when the staff numbers were decreased.