Editorial: Europe puts the squeeze on Iran — finally