är tillsvidare “ Gibraltar ".