Lewandowski earned four world records.