20160713 sports.football: Football: Press make merry over 'Shock of Gibraltar'