fr. Gibraltar ; d.