In his first race since turning 16, Winkler dropped more than half a second in the 100 free to shoot up the all-time rankings in the boys' 15-16 age group.
Märtens' time of 3:41.60 is the third-fastest we've seen in a decade and is nearly two seconds quicker than what it took to win Olympic gold last summer.