Spanien und Gibraltar Heben Grenzkontrollen auf