General Bein hade inskeppat sig till Gibraltar.