Und was wird aus Gibraltar?