Brazilian Grand Prix: Massa swansong to Hamilton records