Gibraltar dcn 20 Juli , '.