fr. Portorico t. Gibraltar,