Spanier und Briten treffen «historische» Gibraltar-Vereinbarung