A . Gripenstedt , Gibraltar,