Francos Griff nach Gibraltar . Francos "Kalter Krieg" um Gibraltar (1952)